格雷格·霍斯(编辑) 2001-2002年符号逻辑协会冬季会议。2002年1月8日至9日,加利福尼亚州圣地亚哥,圣地亚哥万豪酒店和码头。 (英语) Zbl 0999.03500 牛市。符号。日志。 第8期,第2期,312-318页(2002年).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 \textit{G.Hjorth}(编辑),布尔。符号。日志。8,第2号,312--318(2002;Zbl 0999.03500) 全文: 内政部 链接
伊泰州本·雅科夫;伊万·托马西奇;弗兰克·瓦格纳。 简单理论中的群配置及其应用。 (英语) Zbl 1060.03051号 牛市。符号。日志。 8,第2期,283-298(2002). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben Yaacov}等人,Bull。符号。日志。8,第2号,283--298(2002;Zbl 1060.03051) 全文: 内政部 链接
拉尔斯·比克达尔 可实现性的一般概念。 (英语) Zbl 1031.03080号 牛市。符号。日志。 8,第2期,266-282(2002).MSC公司:03G30型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal},公牛。符号。日志。8,第2号,266--282(2002;Zbl 1031.03080) 全文: 内政部 链接
彼得·施罗德·海斯特 解析和结构推理的起源:赫兹和根岑的早期证明理论思想。 (英语) Zbl 1005.03004号 牛市。符号。日志。 8,第2期,246-265(2002). 审核人:维克托·潘布奇(凤凰城) MSC公司:03-03 01年6月 05年3月 03B05号 PDF格式BibTeX公司 XML格式引用 \发短信{P.Schroeder Heister},公牛。符号。日志。8,第2号,246--265(2002;Zbl 1005.03004) 全文: 内政部 链接
费尔鲁兹Kamaraddine;特温·拉恩;罗伯·奈德佩尔特 1940年以前的逻辑和数学类型。 (英语) Zbl 1006.03002号 牛市。符号。日志。 8,第2期,185-245(2002). 审核人:Jan Waszkiewicz(Wrocław) MSC公司:03-03 03B40型 01年6月 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaraddine}等人,公牛。符号。日志。8,第2号,185--245(2002;Zbl 1006.03002) 全文: 内政部 链接