赫伯特·B·恩德顿。 逻辑的数学入门。 (英语) Zbl 0298.0202号 纽约-伦敦:学术出版社。十三、 第295页,12.50美元(1972年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于259文件 MSC公司: 03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等) 03年2月25日 理论和句子集的可决定性 03B05号 经典命题逻辑 03B10号机组 经典一阶逻辑 03B15号机组 高阶逻辑;类型理论(MSC2010) PDF格式BibTeX公司 XML格式