Κανονική προβολή Προβολή MARC Προβολή ISBD

Shankar, N.

Metamathematics, machines, and Godel's proof / N. Shankar. - Cambridge ; New York : Cambridge University Press, 1997, c1994. - xv, 202 σ. ; 25 εκ. - Cambridge tracts in theoretical computer science v. 38 . - Cambridge tracts in theoretical computer science v. 38 .

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 0521585333

Subjects--Topical Terms:
Μαθηματικά--Πληροφορική
Λογική, Συμβολική και μαθηματική
Θεώρημα του Godel

Dewey Class. No.: 511.3