×

逻辑的数学入门。 (英语) Zbl 0298.0202号

纽约-伦敦:学术出版社。十三、 第295页,12.50美元(1972年)。

MSC公司:

03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等)
03年2月25日 理论和句子集的可决定性
03B05号 经典命题逻辑
03B10号机组 经典一阶逻辑
03B15号机组 高阶逻辑;类型理论(MSC2010)