保拉·达奎诺(编辑) 符号逻辑协会2012年欧洲夏季会议。2012年7月12日至18日,英国曼彻斯特,2012年逻辑学术讨论会。 (英语) Zbl 1331.03005号 牛市。符号。日志。 20,第3期,369-410(2014).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{P.D'Aquino}(编辑),公牛。符号。日志。20,第3号,369--410(2014;Zbl 1331.03005) 全文: 内政部
冯·柏拉图,简 书评:W.Ewald(编辑)和W.Sieg(编辑),David Hilbert关于算术和逻辑基础的讲座,1917-1933年。 (英语) Zbl 1336.00106号 牛市。符号。日志。 20,第3期,363-368(2014).MSC公司:00A17年 03-03 01年6月 01A75号 03B30型 03财年03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。20,第3号,363--368(2014;Zbl 1336.00106) 全文: 内政部
亚历山大·梅尔尼科夫。 可计算阿贝尔群。 (英语) Zbl 1345.03065号 牛市。符号。日志。 20,第3期,315-356(2014).MSC公司:03C57号 03D45号 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Melnikov},公牛。符号。日志。20,第3号,315--356(2014;Zbl 1345.03065) 全文: 内政部
阿萨夫·里诺特 产品的链条件和弱紧基数。 (英语) Zbl 1345.03092号 牛市。符号。日志。 20,第3期,293-314(2014).MSC公司:03E05号 03E02号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rinot},公牛。符号。日志。20,第3号,293--314(2014;Zbl 1345.03092) 全文: 内政部
贾格尔,格哈德;利科·赞布伦 显式数学和运算集理论:一些本体论比较。 (英语) Zbl 1345.03112号 牛市。符号。日志。 20,第3期,275-292(2014).MSC公司:03楼50 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{R.Zumbrunne},公牛。符号。日志。20,第3号,275--292(2014;Zbl 1345.03112) 全文: 内政部 链接