Reviews matching “Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel”

1 result

BookAuthorReviewerJournalDate
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel Andrzej Mostowski G. Hasenjaeger The Journal of Symbolic Logic 1954

Open this search with filters