TY - BOOK ID - 145119669 TI - Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel AU - Bulloff, Jack J. AU - Gödel, Kurt AU - Hahn, S. W. AU - Holyoke, Thomas C. PY - 1969 SN - 3540044906 PB - Berlin : Springer-Verlag, DB - UniCat KW - Logique mathématique KW - Gödel, Kurt (1906-1978) KW - Mélanges UR - https://www.unicat.be/uniCat?func=search&query=sysid:145119669 AB - ER -