Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel's Theorems, Set Theory, Model TheoryLogic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence