Mathematical Logic: A Course with Exercises: Part 2: Recursion Theory, Godels Theorems, Set Theory, Model Theory - Cori (Oxford University PressOxford University Press, 2023)