Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung. 2., berichtigte Aufl.
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。