Email Record: Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel / Edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn.