TY  - BOOK
AU  - Smith Peter
TI  - Introduction to Godel's theorems
SN  - 978-0-521-85784-0
U1  - 511.3 
PY  - 2007///
CY  - Cambridge
PB  - CUP
KW  - Godel, Kurt>Godel numbers>Symbolic logic>Mathematical logic   >
ER  -