Please wait a minute...
北京大学期刊网 | 作者  审稿人  编委专家  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
综述文章
原始递归算术的新系统(Ⅱ)

莫绍揆;沈百英;

南京大学,南京大学,

收稿日期: 1966-06-25
出版日期: 1966-05-15

56
浏览

引用导出
0
    /   /   推荐

摘要 本文是(4)的继续.(4)是在基础系统上(这里使用的专门用语若没有附加说明均见(4)引言部分)构作原始递归算术,本文则是在初等系统上构作原始递归算术. 为了进一步说明,先介绍一些
No related articles found!
Viewed
Full text


Abstract

Cited

首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .