{"product_id":"a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-oxford-texts-in-logic-0198529813","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 New\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":51667238519072,"sku":"NEW0198529813","price":140.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61U-VMJgVVL.jpg?v=1778962218","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","provider":"Miakarts Books","version":"1.0","type":"link"}