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
Θέματα:
Περιγραφή
Φυσική περιγραφή:viii, 117 σ. ; 24 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφία.