TY  - BOOK
AU  - Shankar,N.
TI  - Mathematics, machines & Godel's proof
SN  - 0521585333
PY  - 1997///
CY  - Cambridge, N.Y.
PB  - Cambridge University Press
KW  - Topology
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index; Contents : The statement of the incompleteness theorem--Derived inference rules
ER  -