安东·戈洛夫;塞巴斯蒂安·特维恩。 部分组合代数之间的嵌入。 (英语) Zbl 07690435号 圣母院J.形式逻辑 64,第1号,129-158(2023).MSC公司:03B40型 03D28号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.Golov}和\textit{S.A.Terwijn},圣母院J.形式逻辑64,No.1,129--158(2023;Zbl 07690435) 全文: 内政部 arXiv公司
洛伦佐·罗西 双语境主义。 (英语) 兹比尔1533.03005 圣母院J.形式逻辑 64,编号1,95-127(2023). 审核人:Edoardo Rivello(都灵) MSC公司:03A05号 03B16号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{L.Rossi},圣母院J.形式逻辑64,No.1,95-127(2023;Zbl 1533.03005) 全文: 内政部
安蒂·瓦尔马里;你好,劳里 具有未定义真值的正则谓词逻辑的完整性证明。 (英语) Zbl 1522.03063号 圣母院J.形式逻辑 64,第1号,61-93(2023). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{L.Hella},圣母院J.形式逻辑64,No.1,61-93(2023;Zbl 1522.03063) 全文: 内政部 arXiv公司
尼尔·坦南特 哥德尔核心。 (英语) Zbl 07690432号 圣母院J.形式逻辑 64,第1号,15-59(2023年). 审核人:赛义德·萨利希(大不里士) MSC公司:30楼03号 03F40型 03楼52 03F99型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{N.Tennant},圣母院J.形式逻辑64,No.1,15-59(2023;Zbl 07690432) 全文: 内政部
吴慧珊 可计算环的可分解性的复杂性。 (英语) Zbl 07690431号 圣母院J.形式逻辑 64,编号1,1-14(2023).MSC公司:03B30型 2015年3月1日 03天80 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu},圣母院J.形式逻辑64,No.1,1--14(2023;Zbl 07690431) 全文: 内政部