Introduction to mathematical logic : set theory. Computable functions. Model theory - Malitz, Jerome (rz1, 1979)