雅各布·T·施瓦茨。;坎通纳，多梅尼科;尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。 [马丁·戴维斯] 计算逻辑和集合论。应用形式化逻辑进行分析。马丁·戴维斯的前言。 （英语） Zbl 1246.03006号 伦敦：施普林格出版社（ISBN 978-0-85729-807-2/hbk；978-0-850729-808-9/电子书）。十七、416页。(2011). 审核人：Viorica Sofrone-Stokkerman（科布伦茨） MSC公司：03-02 03B25号 03B35型 03E99型 30E20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Schwartz}等人，计算逻辑和集合论。应用形式化逻辑进行分析。马丁·戴维斯的前言。伦敦：施普林格出版社（2011；Zbl 1246.03006） 全文： 内政部
Keita横山 二阶算法中的标准和非标准分析。 （英语） Zbl 1178.03076号 东北数学出版物34.仙台：东北大学数学研究所（Diss.）。iv，130页。(2009). 审核人：杰弗里·赫斯特（布恩） MSC公司：35楼03号 03B30型 03-02 05年3月 2015年上半年03日 11单元10 26E35岁 2006年8月30日 PDF格式BibTeX公司 XML格式引用 \textit{K.Yokoyama}，二阶算法中的标准和非标准分析。仙台：东北大学数学研究所（Diss.）（2009；Zbl 1178.03076） 全文： 链接