TY  - GEN
T1  - Gödel's proof
DA  - 2005.
CY  - Abingdon, Oxon :
AU  - Nagel, Ernest,
AU  - Newman, James R.
CN  - QA9.65
PB  - Routledge,
PP  - Abingdon, Oxon :
PY  - 2005.
N1  - First published 1958 by Routledge.
ID  - 918239
KW  - Gödel's theorem.
TI  - Gödel's proof
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=1099249
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=1099249
ER  -