发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Omitting the replacement schema in recursive arithmetic.

Omitting the replacement schema in recursive arithmetic.

Heath, I. J.

期刊名称Notre Dame Journal of Formal Logic
作者Heath, I. J.
卷第8卷
期第3期
印刷ISSN0029-4527
文件大小296.29KB
发表时间1967-07
DOI10.1305/ndjfl/1093956089
页码234-238

← 返回【学霸图书馆】主页