TY  - BOOK
AU  - Godel Kurt
AU  - Feferman Solomon
TI  - Collected works: publications
U1  - 510 
PY  - 1986///
CY  - N Y
PB  - OUP
KW  - Mathematics
ER  -