|
|||||
|
|
| 第一类原始递归算术 B~1甲 | |
| 引用本文： | 沈百英.第一类原始递归算术 B~1甲[J].数学学报,1984,27(2):203-207. |
| 作者姓名： | 沈百英 |
| 作者单位： | 南京大学数学系 |
| 摘 要： | <正> 在文1]的绪论中,我们曾提出了几个问题.其中的问题(一)是:若使用原始递归式B~1(即推出把 Gladstone 在1967年的成果改进一点的结果),必须在基础系统中加入怎样的高等规则?本文就是为回答这个问题而作. |
| 收稿时间： | 1981-9-28 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《数学学报》浏览原始摘要信息 | |
| 点击此处可从《数学学报》下载免费的PDF全文 | |