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
• Physical Description: xv, 202 σ. ; 25 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0521585333