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