恩格尔，E。 元素的Metamathematik der Elementarmathematik。 （德语） Zbl 0515.03001号 曲棍球。柏林-海德堡-纽约：斯普林格-弗拉格。七、 132 S.，29 Abb。46.00 DM；$19.90 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于5文件 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03C10号机组 量词消除、模型完整性和相关主题 03E25型 选择公理和相关命题 03E50型 连续统假设与马丁公理 03B40型 组合逻辑与lambda演算 关键词：初等几何;实线;算法;量词消去法;完成;可判定的;非标准分析;连续体假说;选择公理;组合逻辑;λ演算 PDF格式BibTeX公司 XML格式