TY - BOOK AU - Godel Kurt AU - Bulloff J J TI - Foundations of mathematics U1 - 510.4 PY - 1969/// CY - Berlin PB - Springer Verlag KW - Kurt Godel KW - Mathematics N1 - Symposium papers commemorating the sixtieth birthday of Kurt Godel ER -