唐纳德·佩利斯 具有自我参照的语言。一: 基础(或:我们可以拥有一切一阶逻辑!)。 (英语) Zbl 0581.03005号 Artif公司。智力。 25, 301-322 (1985). 审核人:洛夫格伦 MSC公司:03年10月 68T99型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Perlis},Artif。智力。25301-322(1985;Zbl 0581.03005) 全文: 内政部
罗伯特·C·摩尔。 非单调逻辑的语义考虑。 (英语) Zbl 0569.68079号 Artif公司。智力。 25, 75-94 (1985). 审核人:M.Suchenek先生 MSC公司:68吨99 03B45号 03A05号 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{R.C.Moore},Artif。智力。25、75-94(1985年;Zbl 0569.68079) 全文: 内政部