Sets, logic and axiomatic theories - Stoll, Robert R. (Freeman, 1974)