TY  - BOOK
AU  - Smith
TI  - An Introduction to Gödel's Theorems 
SN  - 9780511800962
PB  - Cambridge University Press
KW  -  Philosophy
UR  - https://doi.org/10.1017/CBO9780511800962
ER  -