保罗·C·吉尔摩。 内涵型理论:动机与消解。 (英语) 兹伯利0980.003007 J.塞姆。日志。 66,第1期,383-400(2001). 审核人:M.Yasuhara(普林斯顿) MSC公司:03B15号机组 03A05号 05年3月 03C85号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Gilmore},J.Symb。日志。66,编号1,383--400(2001;Zbl 0980.03007) 全文: 内政部
符号逻辑协会欧洲夏季会议。91年逻辑学术讨论会,乌普萨拉,1991年。 (英语) Zbl 0785.03001号 J.塞姆。日志。 58,第2期,729-766(1993).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 J.塞姆。日志。58,第2号,729--766(1993;Zbl 0785.03001) 全文: 内政部