TY  - BOOK
AU  - Symposium papers commemorating the 6th birthday of Kurt Godel
AU  - Bulloff, Jack J., ed.
TI  - Foundations of mathematics
U1  - 510 
PY  - 1969///
CY  - New York
PB  - Springer-Verlag
ER  -