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