{"product_id":"hedman-shawn-a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-an-introduction-to-model-theory-proof-theory-complexity-oxford-texts-in-logic-band-1-9780198529811","title":"A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... Complexity (Oxford Texts in Logic, Band 1)","description":"The 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.","brand":"OUP Oxford","offers":[{"title":"Used - good","offer_id":53807501017430,"sku":"9780198529811-G","price":36.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780198529811_1_7d3f7738-14b2-4baa-9139-25e4a1c935f0.jpg?v=1781814666","url":"https:\/\/www.momoxbooks.com\/products\/hedman-shawn-a-first-course-in-logic-an-introduction-to-model-theory-proof-theory-computability-and-complexity-an-introduction-to-model-theory-proof-theory-complexity-oxford-texts-in-logic-band-1-9780198529811","provider":"momoxbooks","version":"1.0","type":"link"}