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