Fundamental concepts of modern mathematics - Larsen, Max D. (london A-WPC, 1970)