Th.斯科勒姆。 Jens Erik芬斯塔德（编辑） 所选作品符合逻辑。Jens Erik Fenstad编辑。 （英语） Zbl 0228.02001 奥斯陆-卑尔根-特罗姆瑟大学。732 p.Kr.168.00（1970年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于21文件 MSC公司： 03年XX月 数学逻辑和基础 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 2015年上半年03日 非标准算术模型 05时03分 数学中的非标准模型 03C10号机组 量词消除、模型完整性和相关主题 传记参考： 索拉夫·斯科勒姆;王浩 PDF格式BibTeX公司 XML格式