{"product_id":"mathematical-logic-part-2","title":"Mathematical Logic: Part 2","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\n\u003cbr\u003ecovering 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\n\u003cbr\u003etheorems 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":"Oxford University Press","offers":[{"title":"Default Title","offer_id":44157070639342,"sku":"9780198500513","price":298.57,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/bookland.com.au\/products\/mathematical-logic-part-2","provider":"Book Land AU","version":"1.0","type":"link"}