{"product_id":"a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-9780198529811","title":"A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity","description":"\u003cp\u003e • Author(s): Shawn Hedman\u003cbr\u003e • Publisher: OUP Oxford\u003cbr\u003e • Publisher Imprint: OUP Oxford\u003cbr\u003e • BISAC: Logic\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":"OUP Oxford","offers":[{"title":"Paperback","offer_id":47613744251031,"sku":"9780198529811","price":9056.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780198529811.webp?v=1775087549","url":"https:\/\/atlanticbooks.com\/products\/a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-9780198529811","provider":"Atlantic Books","version":"1.0","type":"link"}