TY  - BOOK
AU  - Shankar, N
TI  - Metamathematics, machines, and Godel's proof
SN  - 052142027X
AV  - QA 9 Sha 
PY  - 1994///
CY  - Cambridge
PB  - CUP
KW  - AUTOMATIC THEOREM PROVING
ER  -