Introduction to mathematical logic : set theory, computable functions, model theory - Malitz, Jerome (Springer-Verlag, 1979)