{"product_id":"mathematical-logic-a-course-with-exercises","title":"Mathematical Logic: A Course with Exercises","description":"\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 every- 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 I, 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":"René Cori","offers":[{"title":"Default Title","offer_id":43575269392445,"sku":"9780198500506","price":235.0,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0597\/7689\/2989\/files\/9780198500506.jpg?v=1788561759","url":"https:\/\/www.palmleaf.com.au\/products\/mathematical-logic-a-course-with-exercises","provider":"Palmleaf","version":"1.0","type":"link"}