Fundations of mathematics - Bulloff, Jack J; Holyoke, Thomas C; Hahn, S. W (Springer-Verlang, 1969)