TY  - BOOK
AU  - Shankar, N
TI  - Metamathematics, machines and Godel's proof
SN  - 0521585333
CY  - Cambridge
KW  - Computer science
KW  - Mathematical logic
KW  - Proof checking
ER  -