Set theory and logic - Stoll, Robert R. (A series of books in mathematics, 1963)