D.希尔伯特。；W.阿克曼。 Grundzüge der theoretischen Logik公司。6.辅助。 （德语） Zbl 0239.02001 模具德国数学研究所.波段27。柏林-海德堡-纽约：斯普林格-弗拉格。八、 188 S.DM 38.00；美元12.10 (1972). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于2文件 MSC公司： 2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章） 03B05号 经典命题逻辑 03B10号机组 经典一阶逻辑 PDF格式BibTeX公司 XML格式