Rene Cori, Daniel Lascar, Donald H. Pelletier - Mathematical Logic - A Course With Exercises Part II - Recursion Theory, Godel's Theorems, Set Theory, Model Theory (2001, Oxford University Press)
Rene Cori, Daniel Lascar, Donald H. Pelletier - Mathematical Logic - A Course With Exercises Part II - Recursion Theory, Godel's Theorems, Set Theory, Model Theory (2001, Oxford University Press)