乔治·布洛斯 弗雷格定理和皮亚诺假设。 (英语) Zbl 0838.03041号 牛市。符号。日志。 1,第3期,317-326(1995). 审核人:R.Murawski(波兹南) MSC公司:30楼03号 03-03 35楼03号 01A55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boolos},公牛。符号。日志。1,第3号,317--326(1995;Zbl 0838.03041) 全文: 内政部 链接
乔治·布洛斯;乔瓦尼·桑宾 Provability:数学形式的出现。 (英语) Zbl 0742.03003号 螺柱日志。 50,第1期,第1-23页(1991年). 审核人:博里奇奇(贝尔格莱德) MSC公司:03B45号 03F40型 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Boolos}和\textit{G.Sambin},Stud.Log。50,编号1,1--23(1991;Zbl 0742.03003) 全文: 内政部