Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Godel - Bulloff, Jack J.; Holyoke, Thomas C.; Hahn, Samuel Wilfred 1921- (Springer-Verlag, 1969)