Foundations of mathematics. Symp. papers commemorating the 60. birthday of Kurt Gödel. - Bulloff, Jack J.; Holyoke, Thomas C.; Hahn, S. W. (Springer, 1969)