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