Sets, logic, and axiomatic theories - Stoll, Robert Roth (Series of books in mathematics, 1961)