Salta al contingut principal

Metamathematics, Machines and Gödel's Proof

Metamathematics, Machines and Gödel's Proof

Autor: Shankar
Matèria: Computer Science; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 1994
Identificador: 9780511569883
Col·lecció: Computer Science and Information Technology
Accés