{"product_id":"mathematical-logic-a-course-with-exercises-part-ii-recursion-theory-gdels-theorems-set-theory-model-theory-9780198500513","title":"Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory","description":"Logic 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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e René Cori, Daniel Lascar\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Oxford University Press, USA\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/21\/2001\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 352\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.47lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.81d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780198500513\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Oxford University Press, USA","offers":[{"title":"Hardcover","offer_id":39937633976435,"sku":"9.7802E+12","price":185.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/products\/img_2a47d7de-61db-488c-acfe-dda827c2efca.jpg?v=1647994556","url":"https:\/\/bookstorenmore.com\/products\/mathematical-logic-a-course-with-exercises-part-ii-recursion-theory-gdels-theorems-set-theory-model-theory-9780198500513","provider":"Bookstore N More","version":"1.0","type":"link"}