• 题名: Sentences Undecidable in Formalized Arithmetic An Exposition of the Theory of Kurt godel
    作者: Andrzej Mostowski
    索书号: http://www.sciencedirect.com/science/book/9780444533753
在架

测试图片