安托尼奥·马莱罗;何塞·弗朗西斯科·里斯 通过语法识别证明。 （英语） Zbl 1436.03290号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180275，11 p.（2019）.MSC公司：03财年03 2013年02月 13层55 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Malheiro}和\textit{J.F.Reis}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180275，11页（2019；Zbl 1436.03290） 全文： 内政部 链接
伊内斯·希波利托;莱因哈德·卡勒 讨论希尔伯特的第24个问题。 （英语） Zbl 1441.03006号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180040，10 p.（2019）. 审核人：维克托·潘布奇（格伦代尔） MSC公司：03-03 01A60型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{I.Hipolito}和\textit{R.Kahle}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，编号2140，文章ID 20180040，10页（2019；Zbl 1441.03006） 全文： 内政部
卢茨斯特拉汉堡 证明身份的问题，以及为什么计算机科学家应该关心希尔伯特的第24个问题。 （英语） Zbl 1436.03293号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180038，14 p.（2019）.MSC公司：03财年03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Straßburger}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，编号2140，文章ID 20180038，14页（2019；Zbl 1436.03293） 全文： 内政部
萨拉·内格里;冯·柏拉图，简 从数学公理到数学证明规则：证明分析的最新发展。 （英语） Zbl 1436.03291号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180037，10 p.（2019）.MSC公司：03财年03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri}和\textit{J.von Plato}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，No.2140，文章ID 20180037，10 p.（2019；Zbl 1436.03291） 全文： 内政部
维克托·潘布奇安 任何简单证明理论的序言。 （英语） Zbl 1441.03007号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180035，15 p.（2019）. 审核人：Teun Koetsier（阿姆斯特丹） MSC公司：03A05号 03立方厘米30 01A05号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{V.潘布奇}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180035，15页（2019；Zbl 1441.03007） 全文： 内政部
莱因哈德·卡勒;加布里埃尔·普尔奇尼 朝向纯度的操作视图。 （英语） Zbl 1418.03018号 Arazim，Pavel（编辑）等人，《2017年逻辑年鉴》。2017年6月19日至23日，捷克共和国赫尼茨修道院，第31届年度国际研讨会Logica会议记录。伦敦：学院出版物。125-138 (2018).MSC公司：03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kahle}和\textit{G.Pulcini}，收录于：2017年Logica年鉴。2017年6月19日至23日，捷克共和国赫尼茨修道院，第31届年度国际研讨会Logica会议记录。伦敦：学院出版物。125-138（2018；Zbl 1418.03018）
多米尼克·J·D·休斯。 走向希尔伯特的第24个问题：组合证明不变量（初步版本）。 （英语） Zbl 1262.03120号 Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165，37-63（2006）。MSC公司：07年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.J.D.Hughes}，电子。注释Theor。计算。科学。165、37-63（2006年；Zbl 1262.03120） 全文： 内政部