吉提·奥米德瓦尔;卢茨斯特拉汉堡 组合流作为双色原子流。 （英语） Zbl 07691320号 Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。2022年9月20日至23日，罗马尼亚Iași，第28届国际研讨会，WoLLIC 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 141-157 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Omidvar}和\textit{L.Straßburger}，Lect。注释计算。科学。13468、141--157（2022；Zbl 07691320） 全文： 内政部 哈尔
威弗里德·西格 作为对象的证据。 （英语） Zbl 07633001号 Ferreira，Fernando（编辑）等人，公理思维I.Cham:Springer。165-183 (2022).MSC公司：03年3月 03A05号 00A30型 01A80号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}，in：公理思维I.Cham:Springer。165-183（2022；Zbl 07633001） 全文： 内政部
彼得·施罗德·海斯特 公理化思维、证明的一致性以及对内涵证明理论语义的探索。 （英语） Zbl 07633000号 Ferreira，Fernando（编辑）等人，公理思维I.Cham:Springer。145-163 (2022).MSC公司：03-03 03A05号 00A30型 01A80号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schroeder-Heister}，in：公理思维I.Cham:施普林格。145-163（2022；Zbl 07633000） 全文： 内政部
卡勒，莱因哈德;乔瓦尼·索马鲁加 希尔伯特的公理Denken. （英语） Zbl 07632994号 Ferreira，Fernando（编辑）等人，公理思维I.Cham:Springer。23-37 (2022).MSC公司：03-03 03A05号 00A30型 01A80号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kahle}和\textit{G.Sommaruga}，in：公理思维I.Cham:Springer。23-37（2022年；兹bl 07632994） 全文： 内政部
雷内·加扎里 自然计算的微积分。 （英语） Zbl 07450675号 螺柱日志。 109，第6期，1375-1411（2021）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Gazzari}，Stud.Log。109，编号6，1375--1411（2021；Zbl 07450675） 全文： 内政部
威弗里德·西格;帕特里克·沃尔什 自然形式化：在ZF中导出坎托-伯恩斯坦定理。 （英语） Zbl 07374087号 版本符号。日志。 14，编号1，250-284（2021）.MSC公司：03B35型 07年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}和\textit{P.Walsh}，版本：Symb。日志。14，编号1，250--284（2021；Zbl 07374087） 全文： 内政部
詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 作为复杂性度量的证明的基本结构。 （英语） 兹比尔1457.03071 日志。Univers大学。 209-242（2020）第2期第14页. 审核人：Ariel Germanán Fernández（布宜诺斯艾利斯） MSC公司：20层03 03财年03 03B10号机组 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人，日志。Univers大学。14，编号2209-242（2020；兹bl 1457.03071） 全文： 内政部
莫里茨·米勒;贾恩·皮奇 简洁弱电路下界的可行构造性证明。 （英语） Zbl 1454.03078号 Ann.纯粹应用。逻辑 171，第2号，文章ID 102735，45 p.（2020）. 审核人：Ariel Germanán Fernández（布宜诺斯艾利斯） MSC公司：20层03 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Muller}和\textit{J.Pich}，Ann.Pure Appl。逻辑171，第2号，文章ID 102735，45页（2020；Zbl 1454.03078） 全文： 内政部 链接
尼古拉·瓦维洛夫 重塑证明的隐喻。 （英语） Zbl 1436.00043号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180279，18 p.（2019）.MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.Vavilov}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180279，18页（2019；Zbl 1436.00043） 全文： 内政部 链接
安托尼奥·马莱罗;何塞·弗朗西斯科·里斯 通过合成酶识别证据。 （英语） 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个问题。 （英语） 兹比尔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，No.2140，文章ID 20180040，10 p.（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 1441.03007号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，编号2140，文章ID 20180035，第15页（2019）. 审核人：Teun Koetsier（阿姆斯特丹） MSC公司：03A05号 03B30型 01年05月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{V.潘布奇}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180035，15页（2019；Zbl 1441.03007） 全文： 内政部
迈克尔·基扬 证明简化和自动定理证明。 （英语） Zbl 1436.03101号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180034，9 p.（2019）.MSC公司：03B35型 68伏15 20层03 PDF格式BibTeX公司 XML格式引用 \文本{M.Kinyon}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180034，9页（2019；Zbl 1436.03101） 全文： 内政部 arXiv公司 链接
威弗里德·西格 Cantor-Bernstein定理：有多少证明？ （英语） Zbl 1441.03015号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180031，11 p.（2019）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：03B35型 03E20型 03-03 01A55号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，No.2140，Article ID 20180031，11 p.（2019；Zbl 1441.03015） 全文： 内政部
欧文·恩格尔 被遗忘的证据理论？ （英语） Zbl 1509.03157号 日志。方法计算。科学。 15，第3号，第6号论文，第6页（2019）.MSC公司：03财年03 PDF格式BibTeX公司 XML格式引用 \textit{E.Engeler}，日志。方法计算。科学。15，第3号，第6号论文，第6页（2019年；Zbl 1509.03157） 全文： arXiv公司
坎奇科斯，安妮卡;Woltzenlogel古，B。 自然演绎演算中哥德尔本体论证明的变体。 （英语） Zbl 1417.03153号 螺柱日志。 105，第3号，553-586（2017）.MSC公司：03B45 03财年03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanckos}和\textit{B.Woltzenogel古}，Stud.Log。105，第3号，553--586（2017；Zbl 1417.03153） 全文： 内政部 链接
科斯塔·多森 推理语义。 （英语） Zbl 1429.03023号 Wansing，Heinrich（编辑），Dag Prawitz关于证据和意义。查姆：斯普林格。Outst公司。控制日志。7, 147-162 (2015).MSC公司：03A05号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}，Outst（输出）。控制日志。7、147--162（2015年；Zbl 1429.03023） 全文： 内政部
米哈伊尔·卡茨。;大卫·雪莉 莱布尼茨的无穷小：他们的虚构性，他们的现代实现，以及他们的敌人，从伯克利到罗素甚至更远。 （英语） Zbl 1303.01012号 埃尔肯特尼斯 78，第3期，571-625（2013）.MSC公司：01年5月50日 01A45号 01A55号 01A60型 03-03 2003年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Katz}和\textit{D.Sherry}，Erkentnis 78，No.3，571--625（2013；Zbl 1303.01012） 全文： 内政部 arXiv公司
多米尼克·J·D·休斯。 走向希尔伯特的第24个问题：组合证明不变量（初步版本）。 （英语） Zbl 1262.03120号 Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165，37-63（2006）。MSC公司：2007年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.J.D.Hughes}，电子。注释Theor。计算。科学。165、37-63（2006年；Zbl 1262.03120） 全文： 内政部
迈克尔·比森;罗伯特·弗罗夫;沃斯，拉里 某些命题逻辑中的双负消去。 （英语） Zbl 1086.03046号 螺柱日志。 80，编号2-3195-234（2005）.MSC公司：07年3月 03B05号 03B50号 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人，研究日志。80，编号2--3，195-234（2005；Zbl 1086.03046） 全文： 内政部 arXiv公司
迈克尔·斯特兹纳 最小行动原则是逻辑经验主义者的陈词滥调。 （英语） 邮编：1222.70004 研究历史。菲洛斯。科学。，B部分，学生历史。菲洛斯。国防部。物理学。 34，第285-318号（2003年）.MSC公司：70-03 01A55号 01A60型 03-03 PDF格式BibTeX公司 XML格式引用 \textit｛M.Stöltzner｝，种马历史。菲洛斯。科学。，B部分，学生历史。菲洛斯。国防部。物理学。34，第2号，285--318（2003；Zbl 1222.70004） 全文： 内政部
科斯塔·多森 基于规范化和通用性的证明的一致性。 （英语） 兹比尔1058.03061 牛市。符号。日志。 9，第4期，477-503（2003）.MSC公司：07年3月 03财年03 05年3月 03-03 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}，公牛。符号。日志。9，第4号，477--503（2003；Zbl 1058.03061） 全文： 内政部 arXiv公司 欧几里得