TY  - BOOK
AU  - Shankar,N.
TI  - Metamathematics, machines and G�odel's proof
SN  - 0521585333 (pbk.)
PY  - 1994///
CY  - Cambridge
PB  - Cambridge University Press
KW  - G�odel's theorem
KW  - Data processing
KW  - Automatic theorem proving
N1  - Includes index; Includes bibliographical references
ER  -