巴特·雅各布斯 Martin-Löf类型理论高阶扩张的不一致性。 (英语) Zbl 0692.03034号 J.菲洛斯。逻辑 18,第4号,399-422(1989). 审核人:B.van Rootselaar公司 MSC公司:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},J.Philos。日志。18,第4号,399--422(1989;Zbl 0692.03034) 全文: 内政部
J·兰贝克。;P.J.斯科特。 直觉主义类型理论和基础。 (英语) Zbl 0461.03012号 J.菲洛斯。逻辑 10, 101-115 (1981).MSC公司:03楼50 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.Lambek}和textit{P.J.Scott},J.Philos。日志。101-115(1981年;Zbl 0461.03012) 全文: 内政部
库尔特·哥德尔 [辛德利,J.R。] 关于有限观点迄今为止尚未开发的延伸。 (英语) Zbl 0433.03040号 J.菲洛斯。逻辑 9, 133-142 (1980).MSC公司:03楼50 01年第75页 PDF格式BibTeX公司 XML格式引用 \textit{K.哥德尔},J.菲洛斯。日志。9、133--142(1980年;Zbl 0433.03040) 全文: 内政部
J.Michael Dunn 公理化Belnap的条件断言。 (英语) Zbl 0329.02006号 J.菲洛斯。逻辑 4, 383-397 (1975).MSC公司:03B45号 03年11月15日 1999年3月 PDF格式BibTeX公司 XML格式引用 \文本{J.M.Dunn},J.Philos。日志。4383-397(1975年;Zbl 0329.02006) 全文: 内政部