舒尔曼,迈克尔 构造数学的仿射逻辑。 (英语) 兹伯利07606771 牛市。符号。日志。 28,第3号,327-386(2022).MSC公司:第03页 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},公牛。符号。日志。28,第3号,327--386(2022;Zbl 07606771) 全文: 内政部 arXiv公司
安斯滕·克莱夫 Eta规则在Martin-Löf类型理论中。 (英语) Zbl 1486.03028号 牛市。符号。日志。 25,第3号,333-359(2019). 审核人:塞尔盖·索洛夫(图卢兹) MSC公司:03B38型 2007年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Klev},公牛。符号。日志。25,编号3333-359(2019;兹bl 1486.03028) 全文: 内政部 链接
哈罗德·西蒙斯 分层作为一种递归技术。 (英语) Zbl 1096.03049号 牛市。符号。日志。 11,第3号,321-350(2005). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03D20日 2015年3月1日 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{H.Simmons},公牛。符号。日志。11,第3号,321--350(2005;Zbl 1096.03049) 全文: 内政部
杰里米·阿维加德 在证明理论中的强迫。 (英语) Zbl 1064.03034号 牛市。符号。日志。 10,第3号,305-333(2004).MSC公司:03财年03 35层03 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},公牛。符号。日志。10,第3号,305-333(2004;Zbl 1064.03034) 全文: 内政部 链接