An edition of Metamathematics, machines, and Gödel's proof (1994)

Metamathematics, machines, and Gödel's proof

By N. Shankar

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1994

Publisher

Cambridge University Press

Language

eng

Pages

202

Description:

subjects: Automatic theorem proving, Data processing, Gödel's theorem, Computer science, mathematics