卢茨斯特拉汉堡 证明身份的问题，以及为什么计算机科学家应该关心希尔伯特的第24个问题。 （英语） Zbl 1436.03293号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180038，14 p.（2019）.理学硕士：03财年03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Straßburger}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180038，14页（2019；Zbl 1436.03293） 全文： 内政部
安妮卡·坎科斯;Woltzenlogel古，B。 自然演绎演算中哥德尔本体论证明的变体。 （英语） Zbl 1417.03153号 螺柱日志。 105，第3号，553-586（2017）.理学硕士：03B45号 03财年03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Kanckos｝和\textit｛B.Woltzenlogel Paleo｝，种马日志。105，第3号，553--586（2017；Zbl 1417.03153） 全文： 内政部 链接