Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /

• Κύριος συγγραφέας: Mostowski, Andrzej (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : North-Holland, 1964.
• Σειρά: Studies in logic and the foundations of mathematics
• Θέματα: Λογική, Συμβολική και μαθηματική