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

• Main Author: Mostowski, Andrzej (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : North-Holland, 1964.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: viii, 117 σ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφία.