TY  - BOOK
AU  - Baaz Matthias
AU  - Harper Jr Charles L
AU  - Papadimitriou Christos H
AU  - Putnam Hilary W
AU  - Scott Dana S
TI  - Kurt Godel and the foundations of mathematics: horizons of truth
SN  - 978-0-521-76144-4
U1  - 511.3 
PY  - 2011///
CY  - Cambridge
PB  - CUP
KW  - Godel Kurt
KW  - Godel's theorem
KW  - Mathematics-philosophy
ER  -