Abstract set theory - Fraenkel, Abraham Adolf (Studies in logic and the foundations of mathematics., 1976)