Set Theory and Logic - Fraenkel, Abraham A.