Jean-Pierre，Cléro（编辑） 从亚里士多德和塞克特斯·恩皮里克斯的数学怀疑论到哥德尔论证和虚构主义的道路。（《亚里士多德和塞克斯特斯的数学怀疑论》（Les chemins du怀疑论） （法语） Zbl 07745137号 巴黎：赫尔曼，《科学与艺术编辑》（ISBN 979-1-0370-0870-1/pbk）。第448页。(2021).MSC公司：00-02 00A30型 PDF格式BibTeX公司 XML格式引用 \文本{J.-P.Cléro}（编辑），《亚里士多德和塞克斯特斯经验的数学怀疑论》（Les chemins du怀疑论aux arguments Gödeliens et au virtualisme）。巴黎：赫尔曼，科学与艺术学院（2021；Zbl 07745137）
朱丽叶·肯尼迪 哥德尔、塔斯基和自然语言的诱惑。逻辑纠缠，形式主义自由。 （英语） Zbl 1493.03001号 剑桥：剑桥大学出版社（ISBN 978-1-107-01257-8/hbk；978-1-108-94057-3/pbk；978-0-511-99839-3/ebook）。xii，187页。(2021). 审核人：Edoardo Rivello（都灵） MSC公司：03-02 03-03 03A05号 03B65号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kennedy}、哥德尔、塔斯基和自然语言的诱惑。逻辑纠缠，形式主义自由。剑桥：剑桥大学出版社（2021；Zbl 1493.03001） 全文： 内政部
马克·范·艾登 关于哥德尔对莱布尼茨、胡塞尔和布劳沃的接待的论文。 （英语） Zbl 1436.03014号 逻辑、认识论与科学的统一35.查姆：施普林格（ISBN 978-3-319-10030-2/hbk；978-3-316-10031-9/电子书）。xiv，328页。(2015). 审核人：沃尔克·佩克豪斯（帕德博恩） MSC公司：03-06 03-02 03-03 01A60型 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.van Atten}，《哥德尔对莱布尼茨、胡塞尔和布劳沃的接待随笔》。查姆：斯普林格（2015；Zbl 1436.03014） 全文： 内政部
尤尔格拉（Palle Yourgrau） 哥德尔遇见了爱因斯坦。哥德尔宇宙中的时间旅行。由库尔特·贝格宁和苏珊娜·库尔曼-克里格从英语翻译而来。（哥德尔，《爱因斯坦与福尔根》，弗马赫特尼斯·埃内尔·恩格沃希利钦·弗伦德沙夫） （德语） Zbl 1348.01007号 慕尼黑：Verlag C.H.Beck（ISBN 978-3-406-52914-6/pbk）。235页。(2005).MSC公司：01-02 01A70号 01A60型 00A30型 83-03 PDF格式BibTeX公司 XML格式引用 \文本{P.Yourgrau}、哥德尔、爱因斯坦和福尔根。Vermächtnis einer ungewöhnlichen Freundschaft公司。慕尼黑：Verlag C.H.Beck（2005；Zbl 1348.01007）
约翰·杜森（John W.jun Dawson）。 逻辑困境。库尔特·哥德尔的生活和工作。 （英语） Zbl 1078.03005号 马萨诸塞州韦尔斯利：A K Peters（ISBN 1-56881-256-6/pbk）。xiv，第361页。(2005). 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03-03 01A70号 03-02 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Dawson jun.}，逻辑困境。库尔特·哥德尔的生活和工作。马萨诸塞州韦尔斯利：A K Peters（2005；Zbl 1078.03005）
埃克哈特·科勒（编辑）;彼得·韦贝尔（编辑）;迈克尔·斯特兹纳（编辑）;伯恩德·布尔特（编辑）;卡斯滕·克莱恩（编辑）;德保利·希马诺维奇-哥蒂格（Werner DePauli-Schimanovich-Göttig）（编辑） [库尔特·哥德尔] 库尔特·哥德尔。真实性和可证明性。第一卷：文献和历史分析。（库尔特·哥德尔（Kurt Gödel.Wahrheit und Beweisbarkeit.Band 1:Dokumente und historische Analysen） （德语） Zbl 1014.01009号 维恩：öbv&hpt。278 S.（2002）。 审核人：沃尔克·佩克豪斯（爱尔兰根） MSC公司：01A70号 00A30型 01A60型 03A05号 01-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Köhler}（编辑）等人，库尔特·哥德尔。Wahrheit und Beweisbarkeit公司。第一组：Dokumente und historische Analysen。维恩：öbv \&hpt（2002；Zbl 1014.01009）
约翰·卡斯蒂。;维尔纳·德保利 哥德尔。逻辑生活。 （英语） Zbl 1028.01011号 马萨诸塞州剑桥：珀尔修斯出版社。vii，210页，13.50英镑（2000年）。MSC公司：01A70号 01-02 01A60型 00A30型 03-03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Casti}和\textit{W.DePauli}，哥德尔。逻辑生活。马萨诸塞州剑桥：珀尔修斯出版社（2000；Zbl 1028.01011）
约翰·卡斯蒂。;沃纳·德保利 哥德尔：逻辑的生命。 （英语） Zbl 0961.01021号 马萨诸塞州剑桥：珀尔修斯出版社。viii，第210页（2000年）。 审核人：V.佩克豪斯（爱尔兰根） MSC公司：01A70号 01-02 01A60型 00A30型 03-03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Casti}和\textit{W.DePauli}，哥德尔：逻辑的生命。马萨诸塞州剑桥：珀尔修斯出版社（2000；Zbl 0961.01021）
约翰·杜森（John W.jun Dawson）。 逻辑困境：库尔特·哥德尔的生活和工作。（库尔特·哥德尔：Leben und Werk.Aus dem American.übersetzt von Jakob Kellner） （德语） Zbl 0923.03002号 计算机文化. 11. 维恩：施普林格。xiii，294 S.（1999）。MSC公司：03-03 01A70号 03-02 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Dawson jun.}，库尔特·哥德尔（Kurt Gödel:Leben und Werk.Aus dem American.）。尤伯塞特·冯·雅各布·凯尔纳。维也纳：施普林格（1999年；Zbl 0923.03002）
约翰·杜森（John W.jun Dawson）。 逻辑困境：库尔特·哥德尔的生活和工作。 （英语） Zbl 0866.03003号 马萨诸塞州韦尔斯利：A K Peters。xiv，第361页（1997年）。 审核人：J.Mackenzie（悉尼） MSC公司：03-03 01A70号 03-02 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Dawson jun.}，逻辑困境：库尔特·哥德尔的生活和工作。马萨诸塞州韦尔斯利：A K Peters（1997；Zbl 0866.03003）