Mathematical Logic: Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory: A Course with Exercises: Recursion Theory, Godel's Theorem, Set Theory and Model Theory Pt.2