Introduction to mathematical logic set theory,computable functions;model theory - Malitz Jerome (N Y Springer Verlag, 1979)
Keywords: Mathematical logic; Model theory; Set theory