Sets, logic, and axiomatic theories - Stoll, Robert (A Series of undergraduate books in mathematics, 1961)