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
Θέματα:

Παρόμοια τεκμήρια