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