Mathematical logic a course with exercises - Lascar Daniel; Pelletier Donald H (New York CUP, 2001)
Pt.2: Recursion theory, Godel's theorems, set theory, model theory
Keywords: Mathematical logic