TY  - BOOK
AU  - Shankar N
TI  - Metamathematics, machines, and Godel's proof
T2  - Cambridge tracts in theoretical computer science
SN  - 052142027X (hbd)
U1  - B0a9S, N4 
PY  - 1994///
CY  - Cambridge
PB  - CambridgeUniversity Press        
KW  - Mathematics and Computers
N1  - Bibliography 189-196p; Index 197-202p
ER  -