Sets, logic and axiomatic theories - Stoll, Robert R. (W.H. Freeman and Company, 1961)