Fundamental concepts of modern mathematics - Larsen, Max D. (Reading, Mass. Addison-Wesley Pub. Co., 1970)
Includes bibliographies.
Keywords: Logic, Symbolic and mathematical; Arithmetic -- Foundations; Set theory