TY  - BOOK
AU  - Smith,Peter
TI  - An introduction to Gödel's Theorems
SN  - 9780521674539
U1  - 511.3 21st
PY  - 2007///
CY  - New York
PB  - Cambridge University Press
KW  - GODEL THEOREMS
KW  - LOGIC- SYMBOLIC MATHEMATICS
N1  - Includes bibliographical references and index
ER  -