{"product_id":"a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-oxford-texts-in-logic-0198529813-used","title":"A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0198529813\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Hedman, Shawn\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e Used\u003c\/p\u003e\u003cp\u003eThe ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":52338651627808,"sku":"USED0198529813","price":64.57,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61U-VMJgVVL_698c6e31-2369-4aa5-92f6-1d1023c738af.jpg?v=1789103116","url":"https:\/\/miakarts.com\/products\/a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-oxford-texts-in-logic-0198529813-used","provider":"Miakarts Books","version":"1.0","type":"link"}