{"product_id":"9780198529811","title":"A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)","description":"\u003cp\u003eBased on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":48663121559787,"sku":"00000_00000_00000_00000","price":238.05,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9780198529811-1.jpg?v=1781610943","url":"https:\/\/kinokuniya.com.sg\/products\/9780198529811","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}