Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1964.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Φυσική περιγραφή: | viii, 117 σ. ; 24 εκ. |
---|---|
Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφία. |