Metamathematics, machines, and Godel's proof /

• Main Author: Shankar, N. (συγγραφέας)
• Format: Book
• Language: English
• Published: Cambridge ; New York : Cambridge University Press, 1997, c1994.
• Series: Cambridge tracts in theoretical computer science v. 38
• Subjects: Μαθηματικά > Πληροφορική; Λογική, Συμβολική και μαθηματική; Θεώρημα του Godel