比尔,Jc 多结论LP和默认经典性。 (英语) Zbl 1252.03008号 版本符号。日志。 4,第2期,326-336(2011).MSC公司:03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Beall},版本:Symb。日志。4,第2号,326--336(2011;Zbl 1252.03008) 全文: 内政部
Cezary的Cieśliński 肯定句的T等价。 (英语) Zbl 1244.03015号 版本符号。日志。 4,第2期,319-325(2011). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Cie she ling nski},版本:Symb。日志。4,第2号,319--325(2011;Zbl 1244.03015) 全文: 内政部
卡洛斯·阿雷塞斯;迭戈·菲格拉;圣地亚哥菲格拉;塞尔吉奥·梅拉 记忆逻辑的表达能力。 (英语) Zbl 1247.03027号 版本符号。日志。 4,第2期,290-318(2011). 审核人:埃里克·马丁(悉尼) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,Rev.Symb。日志。4,第2号,290--318(2011;Zbl 1247.03027) 全文: 内政部
阿库里奥蒂,T。;van Lambalgen,M。 康德先验逻辑的形式化。 (英语) Zbl 1252.03007号 版本符号。日志。 4,第2期,254-289(2011).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Achourioti}和\textit{M.van Lambalgen},Rev.Symb。日志。4,第2号,254--289(2011;Zbl 1252.03007) 全文: 内政部
格雷厄姆牧师 反对非存在。 (英语) 兹比尔1239.03003 版本符号。日志。 4,第2期,237-253(2011).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Priest},西蒙牧师。日志。4,第2号,237--253(2011;Zbl 1239.03003) 全文: 内政部
巴托斯·威考斯基 亚原子推导规则。 (英语) Zbl 1252.03125号 版本符号。日志。 4,第2期,219-236(2011).MSC公司:05年3月 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Więckowski},版本:Symb。日志。4,第2号,219--236(2011;Zbl 1252.03125) 全文: 内政部
莱因哈德·卡勒 弗雷格结构中的泛集和对角化。 (英语) Zbl 1258.03017号 版本符号。日志。 4,第2期,205-218(2011). 审核人:M.Yasuhara(普林斯顿) MSC公司:03B30型 03E30年 03财年03 2015年1月3日 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{R.Kahle},版本符号。日志。4,第2号,205--218(2011;Zbl 1258.03017) 全文: 内政部
奥利弗·德塞 有序的公理理论。 (英语) Zbl 1245.03071号 版本符号。日志。 4,第2期,186-204(2011). 审核人:马丁·韦斯(波茨坦) MSC公司:03E30年 PDF格式BibTeX公司 XML格式引用 \textit{O.Deiser},Rev.Symb。日志。4,第2号,186--204(2011;Zbl 1245.03071) 全文: 内政部
杰弗里·凯特兰 身份和不可辨别性。 (英语) Zbl 1252.03012号 版本符号。日志。 4,第2期,171-185(2011).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ketland},修订版Symb。日志。4、编号2、171--185(2011;Zbl 1252.03012) 全文: 内政部