Metamathematics, Machines and Gödel's Proof
- Título:
- Metamathematics, Machines and Gödel's Proof
- Materia:
- Computer Science; Historical Geography
- Editor:
- Cambridge University Press
- Descripción:
- Books for Research
- Identificadores:
- E-ISBN: 9780511569883 ISBN: 9780521585330
- Colección:
- Cambridge University Press