Sets, logic and axiomatic theories - Stoll, Robert Roth (A Series of undergraduate books in mathematics. Golden Gate books, 1961)