加布里埃尔·普奇尼;阿奇尔·瓦尔齐(Achille C.Varzi)。 经典逻辑的互补证明网。 (英语) 兹伯利07786295 日志。Univers大学。 第4期第17页,第411-432页(2023年).MSC公司:03财年03 07年3月 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Pulcini}和\textit{A.C.Varzi},日志。Univers大学。17,编号4,411--432(2023;Zbl 07786295) 全文: 内政部 OA许可证
塞尔吉奥·马塞利诺 意外的布尔连接词。 (英语) Zbl 1529.03175号 日志。Univers大学。 16,编号1-2,85-103(2022).MSC公司:03B50号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcelino},日志。Univers大学。16,编号1--2,85-103(2022;Zbl 1529.03175) 全文: 内政部 arXiv公司
迈克尔·卡明斯基;尼西姆·弗朗西兹 多值逻辑的微积分。 (英语) Zbl 1529.03172号 日志。Univers大学。 第2期第15页,193-226(2021).MSC公司:03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{N.Francez},日志。Univers大学。15,第2号,193--226(2021;Zbl 1529.03172) 全文: 内政部
Alexey Chentsov;尼基琴科、米科拉 作为制度的成分命名逻辑。 (英语) Zbl 1456.03054号 日志。Univers大学。 12,编号1-2,221-238(2018).MSC公司:03B70号 03B10号机组 03C95号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Chentsov}和\textit{M.Nikitchenko},Log。Univers大学。12,编号1--2,221--238(2018;Zbl 1456.03054) 全文: 内政部
卡洛斯·卡莱罗;卢卡·维甘诺 逻辑中的构成意义。 (英语) Zbl 1420.03006号 日志。Univers大学。 11,第3期,283-295(2017).MSC公司:03-06 00B15号机组 03B22号 03B45 03B47号 03B50号 03B53号 05年3月 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{L.Vigan“},Log。Univers大学。11,第3号,283--295(2017;Zbl 1420.03006) 全文: 内政部 链接
Benzmüller,C。;利昂·韦伯;布鲁诺沃尔岑洛格尔古 安德森-哈耶克本体论争议的计算机辅助分析。 (英语) Zbl 1417.03131号 日志。Univers大学。 11,第1号,139-151(2017).MSC公司:03B35型 03B15号机组 03B45 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人,日志。Univers大学。11,第1号,139--151(2017;Zbl 1417.03131) 全文: 内政部
弗洛里安·拉贝 逻辑的未来:基础依赖。 (英语) Zbl 1436.03179号 日志。Univers大学。 10,第1号,1-20(2016).MSC公司:03B70号 03B22号 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe},日志。Univers大学。10,第1号,1--20(2016;Zbl 1436.03179) 全文: 内政部
内格里,萨拉 非经典逻辑中的证明和反模型。 (英语) Zbl 1339.03046号 日志。Univers大学。 8,第1期,25-60(2014).MSC公司:03财年03 03B45 03B55号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri},日志。Univers大学。8、第1号、第25--60号(2014;Zbl 1339.03046) 全文: 内政部
托马斯·施图德 保证数据隐私的通用方法。 (英语) Zbl 1272.68380号 日志。Univers大学。 195-209年第2期第7期(2013年).MSC公司:68T27型 68页99 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer},日志。Univers大学。7,第2号,195--209(2013;Zbl 1272.68380) 全文: 内政部
克劳斯·皮特·沃思 Jean van Heijenoort眼中的Herbrand基本定理。 (英语) Zbl 1267.03054号 日志。Univers大学。 6,编号3-4,485-520(2012). 审核人:莱因哈德·卡勒(里斯本) MSC公司:07年3月 01A60型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.Wirth},日志。Univers大学。6、编号3--4、485--520(2012;Zbl 1267.03054) 全文: 内政部 arXiv公司
欧文·H·安妮莉斯。 让·范·海耶诺特对证明理论及其历史的贡献。 (英语) Zbl 1272.03001号 日志。Univers大学。 6、编号3-4、411-458(2012). 审核人:M.Yasuhara(普林斯顿) MSC公司:03-03 01A60型 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{I.H.Anellis},日志。Univers大学。6、编号3--4、411--458(2012;Zbl 1272.03001) 全文: 内政部 欧几里得
布莱恩·盖恩斯(Brian R.Gaines)。 人类理性挑战普遍逻辑。 (英语) Zbl 1255.03017号 日志。Univers大学。 4,第2期,163-205(2010).MSC公司:03A05号 91E10型 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Gaines},日志。Univers大学。4、编号2、163--205(2010;Zbl 1255.03017) 全文: 内政部
马克·艾吉尔;Delphine Longuet 关于证明正规化的一些一般结果。 (英语) Zbl 1255.03050号 日志。Univers大学。 4,第1期,1-29页(2010年).MSC公司:05年3月 03B22号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{D.Longuet},日志。Univers大学。4、编号1、1--29(2010;Zbl 1255.03050) 全文: 内政部 链接