{"product_id":"mathematical-logic-a-course-with-exercises-part-ii-recursion-theory-godels-theorems-set-theory-model-theory-9780198500506","title":"Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel's Theorems, Set Theory, Model Theory","description":"\u003cp\u003e • Author(s): Rene Cori | Daniel Lascar | Ren? Cori\u003cbr\u003e • Publisher: OUP Oxford\u003cbr\u003e • Publisher Imprint: OUP Oxford\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eLogic 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 whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel's incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix.\u003c\/p\u003e","brand":"OUP Oxford","offers":[{"title":"Paperback","offer_id":46896094675095,"sku":"9780198500506","price":9731.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780198500506.webp?v=1770356833","url":"https:\/\/atlanticbooks.com\/products\/mathematical-logic-a-course-with-exercises-part-ii-recursion-theory-godels-theorems-set-theory-model-theory-9780198500506","provider":"Atlantic Books","version":"1.0","type":"link"}