R.M.斯穆利扬。 一元基本形式系统。 (英语) Zbl 0218.02030号 Z.数学。Logik Grundlagen数学。 7, 81-83 (1961). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于30文件 MSC公司: 03B22号 抽象演绎系统 03D25号 递归(可计算)可枚举集和度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Smullyan},Z.数学。Logik Grundlagen数学。7,81-83(1961年;兹bl 0218.02030) 全文: 内政部