扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 构造型理论分析了一阶逻辑的完备性定理。扩展版本。 (英语) Zbl 07471462号 J.日志。计算。 第1期第31页,第112-151页(2021年).MSC公司:03楼50 03B35型 03立方厘米38 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}等人,J.Log。计算。31,编号1,112--151(2021;Zbl 07471462) 全文: 内政部
达格·诺曼;山姆·桑德斯 可计算性理论和逆向数学中的开集。 (英语) Zbl 1472.03012号 J.日志。计算。 30,第8期,1639-1679(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D65年 35楼03号 03天80 03层60 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders},J.Log。计算。30,第8号,1639--1679(2020;Zbl 1472.03012) 全文: 内政部 arXiv公司
文森特·德曼吉 教学用lambda-cube:(lambda^{2})案例。 (英语) Zbl 1348.03017号 J.日志。计算。 25,第3期,743-779(2015).MSC公司:03B40型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Demange},J.Log。计算。25,第3号,743--779(2015;Zbl 1348.03017) 全文: 内政部
玛格丽塔·科洛维纳;奥列格·库迪诺夫 ({\Sigma})可定义性的一致性原则。 (英语) Zbl 1157.03013号 J.日志。计算。 第159-174号第19页(2009年).MSC公司:03C57号 03D65年 03层60 PDF格式BibTeX公司 XML格式引用 \textit{M.Korovina}和\textit{O.Kudinov},J.Log。计算。19,第1号,159--174(2009;Zbl 1157.03013) 全文: 内政部
洛伊奇科尔森;大卫·米歇尔 教育学二阶命题演算。 (英语) Zbl 1155.03008号 J.日志。计算。 18,第4号,669-695(2008). 审核人:G.E.Mints(斯坦福) MSC公司:03B20型 03B15号机组 03B40型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Colson}和\textit{D.Michel},J.Log。计算。18,编号4669-695(2008年;Zbl 1155.03008) 全文: 内政部
弗雷德里克·达尔格伦 部分连续函数和容许域表示。 (英语) Zbl 1155.03029号 J.日志。计算。 17,第6号,1063-1081(2007). 审核人:宁忠(辛辛那提) MSC公司:03D65年 03层60 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlgren},J.Log。计算。17,编号61063-1081(2007年;Zbl 1155.03029) 全文: 内政部 链接
雷蒙德·特纳 操作和类型理论薄弱。 (英语) Zbl 0838.03028号 J.日志。计算。 6,第1期,第5-31页(1996年).MSC公司:03B70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Turner},J.Log。计算。6,第1号,第5--31号(1996;Zbl 0838.03028) 全文: 内政部
James T.佐佐木。 混合构造型理论中的有效验证程序。 (英语) Zbl 0829.03015号 J.日志。计算。 5,第5期,669-689(1995).MSC公司:03B70号 68号01 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.T.佐佐木},J.Log。计算。5,第5号,669--689(1995;Zbl 0829.03015) 全文: 内政部
马丁·汉森。 基本程序转换的内涵语义。 (英语) Zbl 0833.68079号 J.日志。计算。 5,第4期,423-447(1995).MSC公司:60年第68季度 68问题55 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Henson}、J.Log。计算。5,第4号,423--447(1995;Zbl 0833.68079) 全文: 内政部 链接
雷蒙德·特纳 懒散的操作和类型理论。 (英语) Zbl 0797.68109号 J.日志。计算。 3,第1期,77-102(1993).MSC公司:60年第68季度 68甲15 03B40型 03E45型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Turner},J.Log。计算。3,编号1,77-102(1993年;Zbl 0797.68109) 全文: 内政部