克里斯·斯坎布勒 书评:S.Berry,势能集理论的逻辑基础。 (英语) Zbl 07861911号 菲洛斯。数学。(3) 第277-282号第31页(2023年).MSC公司:00A17年 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \文本{C.Scambler},菲洛斯。数学。(3) 31,No.2,277--282(2023;Zbl 07861911) 全文: 内政部
乔纳斯·沃纳 关于冯·诺依曼序数和相依性的注记。 (英语) Zbl 07861910号 菲洛斯。数学。(3) 31,第2号,268-276(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \文本{J.沃纳},菲洛斯。数学。(3) 31,第2号,268--276(2023;Zbl 07861910) 全文: 内政部
斯图德,J.P。 凯撒问题——一个零碎的解决方案。 (英语) Zbl 07861909号 菲洛斯。数学。(3) 31,第2期,236-267(2023年).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Studd},菲洛斯。数学。(3) 31,编号:22236-267(2023;兹bl 07861909) 全文: 内政部
托马斯·霍夫韦伯 重新聚焦弗雷格的另一个困惑:对斯奈德、萨缪尔和夏皮罗的回应。 (英语) Zbl 07861908号 菲洛斯。数学。(3) 31,2号,216-235(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hofweber},菲洛斯。数学。(3) 31,编号216-235(2023;Zbl 07861908) 全文: 内政部
尼科尔·坎吉奥蒂;弗朗西斯科·纳波 数学实践中的类比推理。 (英语) Zbl 07861907号 菲洛斯。数学。(3) 31,第2期,176-215(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.Cangiotti}和\textit{F.Nappo},Philos。数学。(3) 31,第2号,176--215(2023;Zbl 07861907) 全文: 内政部 arXiv公司
希梅利特,杰克 没有数字的应用数学。 (英语) Zbl 07861906号 菲洛斯。数学。(3) 第2期第31页,第147-175页(2023年).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Himelright},菲洛斯。数学。(3) 31,第2号,147--175(2023;Zbl 07861906) 全文: 内政部
金子,邦妮 书评:F.Patras,《数字的本质》。 (英语) Zbl 07861463号 菲洛斯。数学。(3) 第1期第31页,第132-142页(2023年).MSC公司:00A17年 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{B.Gold},菲洛斯。数学。(3) 31,编号1,132--142(2023;Zbl 07861463) 全文: 内政部
罗伊·T·库克。 书评:J.Weiner,信奉弗雷格的话。 (英语) 兹伯利07861461 菲洛斯。数学。(3) 第1期第31页,第120-124页(2023年).MSC公司:00A17年 03-02 03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Cook},菲洛斯。数学。(3) 31,编号1,120-124(2023;Zbl 07861461) 全文: 内政部
阿诺·阿夫隆;巴尔塔萨尔·格拉马耶 打破平局:贝纳塞拉夫的身份证明论点再次出现。 (英语) Zbl 07861458号 菲洛斯。数学。(3) 31,编号1,81-103(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{B.Grabmayr},菲洛斯。数学。(3) 31,编号1,81--103(2023;Zbl 07861458) 全文: 内政部
伊莱恩·兰德里 数学:没有形而上学的方法。 (英语) Zbl 07861457号 菲洛斯。数学。(3) 31,编号1,56-80(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \文本{E.Landry},Philos。数学。(3) 31,编号1,56--80(2023;Zbl 07861457) 全文: 内政部
托马斯·麦考利·弗格森 非负直觉数学中的否定。 (英语) Zbl 07861456号 菲洛斯。数学。(3) 31,编号1,29-55(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Ferguson},菲洛斯。数学。(3) 31,编号1,29-55(2023;Zbl 07861456) 全文: 内政部
西蒙·魏斯格伯 数学进步——关于Maddy和其他方面。 (英语) Zbl 07861455号 菲洛斯。数学。(3) 31,编号1,1-28(2023).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Weisgerber},菲洛斯。数学。(3) 31,编号1,1--28(2023;Zbl 07861455) 全文: 内政部
艾哈迈特·切维克 集合的层次多重宇宙。 (英语) Zbl 07828372号 圣母院J.形式逻辑 64,第4号,545-570(2023).MSC公司:03A05号 00A30型 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Joevik},圣母院J.形式逻辑64,No.4,545--570(2023;Zbl 07828372) 全文: 内政部 arXiv公司
马蒂亚斯·希恩 弗雷格基础项目中逻辑方程的同一性和认知价值。 (英语) 兹伯利07828371 圣母院J.形式逻辑 64,第4期,495-544(2023年).MSC公司:03A05号 03-03 00A30型 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schirn},圣母院J.形式逻辑64,No.4,495--544(2023;Zbl 07828371) 全文: 内政部
Viale,Matteo公司 强强迫公理和连续体问题[在Asperó's和Schindler证明\(mathrm{MM}^{+}\)暗示Woodin公理\(*)\之后]。(轴心力消除堡垒和连续形地台[suivant la démonstration d’Asperóet Schindler que(\mathrm{MM}^{+})entrane l'axiome de Woodin((*)\)]。) (英语) 兹伯利07827471 塞米纳伊尔·布尔巴吉。第2021/2022卷。博览会1197-1210。巴黎:法国数学协会(SMF)。Astérisque 446,383-416,Exp.No.1207(2023)。MSC公司:03E35号 03E50型 03E57型 03C10号机组 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Viale},Astérisque 446,383--416,Exp.No.1207(2023;Zbl 07827471) 全文: 内政部
梅纳赫姆·巴特勒 参考书目:马克·斯坦纳的主要作品。 (英语) Zbl 1532.00006号 Posy,Carl J.(编辑)等人,《数学知识、对象和应用》。纪念马克·斯坦纳的文章。查姆:斯普林格。杰鲁斯。螺柱.菲洛斯。历史。科学。,3-7(2023年)。MSC公司:00A30型 01A90型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{M.Butler},in:数学知识、对象和应用。纪念马克·斯坦纳的文章。查姆:斯普林格。3--7(2023年;Zbl 1532.00006) 全文: 内政部
阿维夫·克伦 在\(mathbb{N}\)及其后的序号与基数。 (英语) Zbl 1530.03030号 Posy,Carl J.(编辑)等人,《数学知识、对象和应用》。纪念马克·斯坦纳的文章。查姆:斯普林格。杰鲁斯。螺柱.菲洛斯。历史。科学。,193-225 (2023).MSC公司:03A05号 03E10年 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Keren},in:数学知识、对象和应用。纪念马克·斯坦纳的文章。查姆:斯普林格。193-225(2023年;Zbl 1530.03030) 全文: 内政部
阿尔巴马索洛 逻辑在推理中的规范作用。 (英语) Zbl 1528.03048号 塞贡达·埃波卡理论 38,第2期,137-154(2023).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Massolo},Theoria,Segunda Epoca 38,No.2,137--154(2023年;Zbl 1528.03048) 全文: 内政部 OA许可证
斯蒂芬·马克雷斯;杰里米·阿维加德 两排序Frege算法并不保守。 (英语) 兹比尔1530.00011 版本符号。日志。 16,第4期,1199-1232(2023).MSC公司:00A30型 03A05号 03立方厘米30 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mackereth}和\textit{J.Avigad},Rev.Symb。日志。16,编号41199-1232(2023;兹bl 1530.00011) 全文: 内政部 OA许可证
萨姆·罗伯茨;斯图尔特·夏皮罗 休谟的原则、坏伙伴和选择公理。 (英语) Zbl 1530.00013号 版本符号。日志。 16,第4期,1158-1176(2023).MSC公司:00A30型 03A05号 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Roberts}和\textit{S.Shapiro},Rev.Symb。日志。16,编号4,1158--1176(2023;Zbl 1530.00013) 全文: 内政部
塞巴斯蒂安·甘顿 解读、逻辑与哲学:让·尼科德感性世界中的几何学. (英语) Zbl 1530.00010号 版本符号。日志。 16,第4期,1080-1109(2023).MSC公司:00A30型 01A60型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Gandon},Rev.Symb。日志。16,第4号,1080--1109(2023;Zbl 1530.00010) 全文: 内政部
梅迪,佩内洛普;Väänänen,茹科 范畴论证的哲学应用。 (英语) Zbl 07771690号 数学哲学的要素剑桥:剑桥大学出版社(ISBN 978-1-00-946796-4/hbk;978-1-009-43292-4/pbk;978-1-00-943289-4/电子书)。55页。(2023).MSC公司:03-02 18-02 03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Maddy}和\textit{J.Väänänen},范畴论证的哲学应用。剑桥:剑桥大学出版社(2023;Zbl 07771690) 全文: 内政部 arXiv公司
伊桑·布劳尔 无法无天序列的经典模态理论。 (英语) Zbl 07749831号 牛市。符号。日志。 29,第3号,406-452(2023).MSC公司:35层03 03楼50 03楼55 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Brauer},公牛。符号。日志。29,第3号,406--452(2023;Zbl 07749831) 全文: 内政部
让·W·里奥斯(Jean W.Rioux)。 托马斯·阿奎那的数学现实主义。 (英语) Zbl 07745101号 查姆:施普林格(ISBN 978-3-031-33127-5/hbk;978-3-331-33130-5/pbk;988-3-031-33128-2/电子书)。(2023).MSC公司:01-02 01A35型 00A30型 03A05号 PDF格式BibTeX公司 XML格式 全文: 内政部
大卫·芒福德 数字和世界。数学及其他方面的论文。 (英语) Zbl 07743815号 普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-7051-7/pbk;978-1-4744-7449-2/电子书)。十六、241页。(2023).MSC公司:2006年1月1日 00A30型 01A70号 03A05号 81第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.芒福德},数字与世界。数学及其他方面的论文。普罗维登斯,RI:美国数学学会(AMS)(2023;Zbl 07743815)
汉内斯·莱特盖布 词缀化和语义不确定性。 (英语) 兹伯利07740301 版本符号。日志。 16,第3号,900-950(2023). 审核人:Firdous Ahmad Mala(斯利那加) MSC公司:00A30型 00A35型 03A05号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{H.Leitgeb},版本符号。日志。16,编号3,900-950(2023;Zbl 07740301) 全文: 内政部
帕特里克·瑞安。 Szemerédi定理:对杂质、解释和内容的探索。 (英语) Zbl 1522.00148号 版本符号。日志。 16,第3号,700-739(2023).MSC公司:00A30型 03A05号 第11页99 11对25 2005年10月28日 37A44型 03财年03 03立方厘米30 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Ryan},Rev.Symb。日志。16,第3号,700--739(2023;Zbl 1522.00148) 全文: 内政部
范伯克利,基斯;阿加塔·西阿巴托尼;伊利莎·弗雷斯基;弗朗西丝卡·古利萨诺;玛雅·奥什维斯基 毛利人逻辑中的道义悖论:此起彼伏。 (英语) Zbl 07727819号 J.逻辑语言信息。 32,第1号,第19-62页(2023年).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.van Berkel}等人,《逻辑语言汇编》第32卷,第1期,第19-62页(2023年;Zbl 07727819) 全文: 内政部 OA许可证
尼古拉·安吉乌斯;朱塞佩·普里米埃罗 复制计算人工制品的安全性和活性属性。 (英语) Zbl 07722226号 J.日志。计算。 第5号第33页,1089-1117页(2023年).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Angius}和\textit{G.Primiero},J.Log。计算。33,编号5,1089--1117(2023;Zbl 07722226) 全文: 内政部 链接
安斯滕·克莱夫 Spiritus asper与lambda:关于函数抽象的本质。 (英语) Zbl 07720263号 圣母院J.形式逻辑 64,第2号,205-223(2023).MSC公司:03A05号 00A30型 03B40型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Klev},圣母院J.形式逻辑64,No.2,205--223(2023;Zbl 07720263) 全文: 内政部
约瑟夫·特卡德莱克;彼得·亚切克 广义效应代数中的结合性和类分配性。 (英语) Zbl 07719532号 国际J.Theor。物理学。 62,第6号,第117号文件,第8页(2023).MSC公司:03Gxx公司 81件 06财年 PDF格式BibTeX公司 XML格式引用 \textit{J.Tkadlec}和\textit{P.Diha_cek},国际J.Theor。物理学。62,第6号,第117号论文,第8页(2023年;Zbl 07719532) 全文: 内政部
路德维希·维特根斯坦 迈克尔·奈多(编辑) 路德维希·维特根斯坦。维也纳版。第10.2卷。收录自手稿第一卷至第十卷摘要的注释,由迈克尔·内多编辑。(路德维希·维特根斯坦(Ludwig Wittgenstein),维纳·奥斯加贝(Wiener Ausgabe),乐队10.2。Zettelsammlung aus den Synopsen der Manuscriptbände I bis X) (德语。英语介绍) Zbl 1527.01035号 美因河畔法兰克福:Vittorio Klostermann(ISBN 978-3-465-03497-1)。xv,229-475(2023)。 审核人:沃尔克·佩克豪斯(帕德博恩) MSC公司:01年第75页 00A30型 03-03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wittgenstein}和\textit{M.Nedo}(编辑),路德维希·维特根斯坦。维纳·奥斯加贝。波段10.2。Zettelsammlung aus den Synopsen der Manuscriptbände I bis X。法兰克福:维托里奥·克劳斯特曼(2023;Zbl 1527.01035)
维塔利·基柳先科 皮尔斯数学哲学中的图表、视觉想象和连续性。 (英语) Zbl 1517.00007号 头脑中的数学查姆:施普林格(ISBN 978-3-031-23244-2/hbk;978-3-0.31-23247-3/pbk;988-3-031-23245-9/电子书)。x、 172页。(2023).MSC公司:00A30型 03A05号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{V.Kiryushchenko},图表,视觉想象,皮尔士数学哲学中的连续性。查姆:施普林格(2023;Zbl 1517.00007) 全文: 内政部
阿尔贝托·科尔蒂;文森佐·法诺;吉诺·塔罗齐 Frauchiger和Renner悖论的逻辑认知研究。 (英语) Zbl 1527.81003号 国际J.Theor。物理学。 62,第3期,第54号论文,第12页(2023年).MSC公司:第81页,共15页 81页第10页 81页65 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Corti}等人,国际期刊Theor。物理学。62,第3号,第54号论文,12页(2023年;Zbl 1527.81003) 全文: 内政部 OA许可证
Kh.Abolpour。;M.M.扎赫迪。;M.沙姆西扎德。 格值广义正交模自动机。 (英语) Zbl 07702219号 国际J.Theor。物理学。 62,第1号,第13号论文,第19页(2023年).MSC公司:第68季度 第81页 06Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{Kh.Abolpour}等人,国际期刊Theor。物理学。62,第1号,第13号文件,第19页(2023;Zbl 07702219) 全文: 内政部
威尔·斯塔福德 弗雷格定理中的势。 (英语) Zbl 07689500号 版本符号。日志。 16,编号2,553-577(2023).MSC公司:03-02 00A30型 03B16号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Stafford},西蒙牧师。日志。16,编号2,553--577(2023;Zbl 07689500) 全文: 内政部 arXiv公司
奥利弗·塔顿·布朗 严格且可靠。 (英语) Zbl 1515.00014号 版本符号。日志。 16,编号2,480-508(2023); 更正同上,第16号,第338(2023)。MSC公司:00A30型 00A35型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{O.Tatton-Brown},版本符号。日志。16,编号2,480--508(2023;Zbl 1515.00014) 全文: 内政部
Joan Bagaria 大基数作为结构反射的原则。 (英语) Zbl 07665537号 牛市。符号。日志。 29,编号1,19-70(2023).MSC公司:03-02 03E55 03E65年 03埃克斯 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bagaria},公牛。符号。日志。29,编号1,19-70(2023;Zbl 07665537) 全文: 内政部 arXiv公司
路德维希·维特根斯坦 迈克尔·奈多(编辑) 路德维希·维特根斯坦。维也纳版。第10.1卷。收录自手稿第一卷至第十卷摘要的注释,由迈克尔·内多编辑。(路德维希·维特根斯坦(Ludwig Wittgenstein),维纳·奥斯加贝(Wiener Ausgabe),乐队10.1。Zettelsammlung aus den Synopsen der Manuscriptbände I bis X) (德语。英语介绍) Zbl 1527.01036号 美因河畔法兰克福:Vittorio Klostermann(ISBN 978-3-465-03483-4/hbk)。28第225页。(2023). 审核人:沃尔克·佩克豪斯(帕德博恩) MSC公司:01年第75页 00A30型 03-03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wittgenstein}和\textit{M.Nedo}(编辑),路德维希·维特根斯坦。维纳·奥斯加贝。波段10.1。Zettelsammlung aus den Synopsen der Manuscriptbände I bis X。法兰克福:维托里奥·克劳斯特曼(2023;Zbl 1527.01036)
杰森·罗森豪斯 书评:M.Fitting(编辑)和B.Rayman(编辑),Raymond Smullyan关于自我参考。 (英语) Zbl 1522.00104号 美国数学。周一。 130,第3号,295-300(2023).MSC公司:00A17年 03-06 03A05号 00A30型 01A70号 01A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Rosenhouse},美国数学。周一。130,编号3,295--300(2023;Zbl 1522.00104) 全文: 内政部
奥利弗·塔顿·布朗 勘误表:“严格和证明”。 (英语) 兹比尔1522.00152 版本符号。日志。 16,编号1,338(2023).MSC公司:00A30型 00A35型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{O.Tatton-Brown},版本符号。日志。16,编号1338(2023;Zbl 1522.00152) 全文: 内政部
安德烈亚·塞雷尼;福利亚尼,玛丽亚·保拉·斯福尔扎;卢卡·萨内蒂 无论好坏。抽象主义、良伴和多元化。 (英语) Zbl 1518.00012号 版本符号。日志。 16,编号1,268-297(2023). 审核人:马蒂奥·比安切蒂(圣母院) MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sereni}等人,Rev.Symb。日志。16,编号1,268--297(2023;Zbl 1518.00012) 全文: 内政部
安娜·贝洛莫;纪尧姆·马萨 博尔扎诺的数学无限。 (英语) Zbl 1515.01010号 版本符号。日志。 16,编号1,59-113(2023). 审核人:沃尔克·佩克豪斯(帕德博恩) MSC公司:01年5月 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bellomo}和\textit{G.Massas},Rev.Symb。日志。16,编号1,59-113(2023;Zbl 1515.01010) 全文: 内政部
克里斯托弗·德默林(编辑);沃尔夫冈·基恩兹勒(编辑);塔比亚·罗尔(编辑) 弗雷格:关于逻辑和语言哲学的论文。(弗雷格:Aufsätze zur Logik und Sprach哲理) (德语) Zbl 1529.03007号 克拉西克·奥斯莱根76。柏林:De Gruyter出版社(ISBN 978-3-11-068111-6/pbk;978-3-11-068118-5/电子书)。第六章,第312页。(2023).MSC公司:03-06 03A05号 00A30型 01A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Demmerling}(编辑)等人,弗雷格:Aufsätze zur Logik und Sprachphilose。柏林:De Gruyter(2023;Zbl 1529.03007) 全文: 内政部
路德维希·维特根斯坦 [迈克尔·比尼] 逻辑哲学翻译自德语,由迈克尔·比尼介绍。 (英语) 兹比尔1515.01036 牛津世界经典牛津:牛津大学出版社(ISBN 978-0-19-886137-9/pbk)。第208页。(2023).MSC公司:01年第75页 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wittgenstein},\textit{Tractatus逻辑哲学}。翻译自德语,由迈克尔·比尼介绍。牛津:牛津大学出版社(2023;Zbl 1515.01036)
费尔南多·扎拉米亚(编辑) 皮尔士数学的进展。哥伦比亚学校。 (英语) Zbl 1499.03002号 皮尔塞纳7.柏林:De Gruyter(ISBN 978-3-11-071761-7/hbk;978-3-11-1071763-1/电子书)。十六、212页。(2023).MSC公司:03-03 00A30型 03A05号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Zalamea}(编辑),皮尔士数学进展。哥伦比亚学校。柏林:De Gruyter(2023;Zbl 1499.03002) 全文: 内政部
路易·考夫曼。(编辑);弗雷德·卡明斯(编辑);伦道夫·迪布尔(编辑);莱昂·康拉德(编辑);格雷厄姆·埃尔斯伯里(编辑);安德鲁·克朗普顿(编辑);弗洛里安·格罗特(编辑) 形式法。五十周年纪念。根据2019年8月8日至10日在英国利物浦大学举行的会议上的演讲选择的论文。 (英语) Zbl 07503110号 关于结和一切的系列72.新加坡:世界科学(ISBN 978-981-12-4742-2/hbk;978-981-42-4744-6/电子书)。700页。(2023).MSC公司:03-06 00时25分 05年3月 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.H.考夫曼}(编辑)等人,《形式法则》,五十周年纪念。2019年8月8日至10日,英国利物浦大学,根据会议上的陈述选择论文。新加坡:世界科学(2023;Zbl 07503110) 全文: 内政部
W.埃瓦尔德。(编辑);哈利特,M。(编辑);美国马杰。(编辑);西雅格。(编辑) 大卫·希尔伯特的笔记本和一般基础讲座(即将推出)。 (英语) Zbl 06750665号 柏林:施普林格出版社(ISBN 978-3-540-20579-1/hbk;978-3-540-68231-8/电子书)。590页。(2023).MSC公司:03-06 01年第75页 00A30型 03A05号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ewald}(编辑)等,大卫·希尔伯特的笔记本和一般基础讲座(即将出版)。柏林:施普林格(2023;Zbl 06750665)
高雄井上 认识系统和弗拉格和弗里德曼的翻译。 arXiv公司:2307.02688 预印本,arXiv:2307.02688[math.LO](2023)。MSC公司:00A30型 03A05号 03B45号 03B70号 03D20日 03D25号 03财年03 30楼03号 03楼50 03楼55 03F99型 99年第68季度 14A99号 BibTeX公司 引用 \textit{T.Inoué},“认识论系统与Flagg和Friedman的翻译”,预印本,arXiv:2307.02688[math.LO](2023) 全文: arXiv公司 OA许可证
Łelyk,马特乌斯;卡洛·尼古莱 一般情况下的隐含承诺。 arXiv:2302.02783 预印本,arXiv:2302027783[math.LO](2023)。MSC公司:03F40型 35层03 03A05号 00A30型 BibTeX公司 引用 \textit{M.Łelyk}和\textit{C.Nicolai},“一般情况下的隐含承诺”,预打印,arXiv:2302.02783[math.LO](2023) 全文: arXiv公司 OA许可证
米查·加达(Micha J.Gajda)。 计算科学哲学。 arXiv:2302.02105 预打印,arXiv:2302.02105[cs.LO](2023)。MSC公司:03A10号 2015年3月1日 03A05号 BibTeX公司 引用 \textit{M.J.Gajda},“科学计算哲学”,预印本,arXiv:2302.02105[cs.LO](2023) 全文: arXiv公司 OA许可证