Sets, logic, and axiomatic theories - Stoll, Robert Roth (W. H. Freeman, 1974)