Foundations of set theory - Fraenkel, Abraham Adolf, 1891-1965; Bar-Hillel, Yehoshua; Levy, Azriel (Studies in logic and the foundations of mathematics, 1973)