Axiomatic set theory - Bernays, Paul; Fraenkel, Abraham Adolf (Studies in logic and the foundations of mathematics, 1958)