Introduction to mathematical logic set theory, computable functions, model theory - Malitz, Jerome (New York Springer-Verlag, 1979)
Includes index
Keywords: Logic, Symbolic and mathematical