TY  - BOOK
AU  - Shankar,N.
TI  - METAMATHEMATICS MACHINES AND GODELS PROOF
SN  - 052142027X
U1  - 511.3 
PY  - 1994///
CY  - 
PB  - Cambridge Univ. Press, Cambridge
KW  - Metamathematics
KW  - Godels Theorem
N1  - Includes Bibliographical References And Index
ER  -