詹姆斯·加森。 命题逻辑的表达能力和不完备性。 (英语) Zbl 1193.03017号 J.菲洛斯。日志。 39,第2期,159-171(2010). 审核人:G.E.Mints(斯坦福) MSC公司:03B05号 03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Garson}、J.Philos。日志。39,第2号,159--171(2010;Zbl 1193.03017) 全文: 内政部
鲁道夫·埃尔托拉 关于单音连接词。 (英语) Zbl 1188.03019号 日志。日志。菲洛斯。 18,第1期,第5-13页(2009年).MSC公司:03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ertola},日志。日志。菲洛斯。18、编号1、5--13(2009;Zbl 1188.03019) 全文: 内政部
雅罗斯拉夫·佩雷格林 推理的逻辑是什么? (英语) Zbl 1142.03006号 双头螺栓日志。 88,第2期,263-294(2008). 审核人:H.C.M.de Swart(蒂尔堡) MSC公司:03A05号 03B20型 03B22号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{J.佩雷格林},研究日志。88,第2号,263--294(2008;Zbl 1142.03006) 全文: 内政部
海因里希·瓦辛 康涅狄格州比东京更奇怪。 (英语) Zbl 1107.03011号 J.菲洛斯。日志。 35,第6期,653-660(2006). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B22号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},J.Philos。日志。35,第6号,653--660(2006;Zbl 1107.03011) 全文: 内政部
罗伊·T·库克。 tonk(?)怎么了。 (英语) 邮编1096.03004 J.菲洛斯。日志。 34,第2期,217-226(2005). 审核人:吉姆·麦肯齐(悉尼) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Cook},J.Philos。日志。34,第2号,217--226(2005;Zbl 1096.03004) 全文: 内政部
劳埃德·亨伯斯通 期待的乐趣:丰富直觉主义逻辑。 (英语) Zbl 1002.03012号 J.菲洛斯。日志。 30,第5期,395-438(2001).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},J.Philos。日志。30,第5号,395--438(2001;Zbl 1002.03012) 全文: 内政部
劳埃德·亨伯斯通 拒绝否定的复兴。 (英语) 兹比尔0962.03005 J.菲洛斯。日志。 29,第4期,331-381(2000).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},J.Philos。日志。29,第4号,331--381(2000;Zbl 0962.03005) 全文: 内政部
阅读,斯蒂芬 古典逻辑中的和谐与自主。 (英语) Zbl 0947.03008号 J.菲洛斯。日志。 29,第2期,123-154(2000).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Read},J.Philos。日志。29,编号2,123--154(2000;Zbl 0947.03008) 全文: 内政部
汉伯斯通。 通过迭代求反。 (英语) Zbl 0883.03007号 理论 61,第1期,第1-24页(1995年).MSC公司:03B22号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{I.L.Humberstone},理论61,第1期,1--24(1995;Zbl 0883.03007) 全文: 内政部
彼得·米尔恩 古典和声:推理规则和逻辑常数的含义。 (英语) Zbl 0810.03002号 合成 100,第1号,49-94(1994).MSC公司:03A05号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Milne},Synthese 100,No.1,49-94(1994;Zbl 0810.03002) 全文: 内政部