Metamathematics, machines, and Godel's proof /

• Κύριος συγγραφέας: Shankar, N. (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge ; New York : Cambridge University Press, 1997, c1994.
• Σειρά: Cambridge tracts in theoretical computer science v. 38
• Θέματα: Μαθηματικά > Πληροφορική; Λογική, Συμβολική και μαθηματική; Θεώρημα του Godel
• Φυσική περιγραφή: xv, 202 σ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0521585333