Sets, logic and axiomatic theories - Stoll, Robert R. (A series of books in mathematics, 1961)