Introduction to mathematical logic Set theory computable functions model theory. - Malitz Jerome (New York Springer-Verlag, 1979)