{"product_id":"fragments-of-first-order-logic-oxford-university-press-9780192867964-ian-pratt-hartmann","title":"Fragments of First-Order Logic","description":"\u003cp\u003eDiscover the intricate world of logic with \u003cstrong\u003eFragments of First-Order Logic\u003c\/strong\u003e by \u003cstrong\u003eIan Pratt-Hartmann\u003c\/strong\u003e. Published by \u003cstrong\u003eOxford University Press\u003c\/strong\u003e in 2023, this hardback edition spans an impressive \u003cstrong\u003e672 pages\u003c\/strong\u003e, offering a comprehensive exploration of first-order logic.\u003c\/p\u003e \n\n\u003cp\u003eIn this thought-provoking work, Pratt-Hartmann delves into the effective methods for determining satisfiability and finite satisfiability across various fragments of first-order logic. He raises critical questions about the decidability of these problems and investigates their computational complexity. This book is an essential read for scholars, students, and enthusiasts eager to deepen their understanding of logical frameworks and their applications.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your knowledge and engage with the foundational concepts of logic through this insightful publication. Order your copy today at bookshop.lt!\u003c\/p\u003e","brand":"Ian Pratt-Hartmann","offers":[{"title":"Default Title","offer_id":52274265784662,"sku":"9780192867964","price":163.69,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780192867964.jpg?v=1767812397","url":"https:\/\/www.englishbook.pt\/products\/fragments-of-first-order-logic-oxford-university-press-9780192867964-ian-pratt-hartmann","provider":"Bookshop","version":"1.0","type":"link"}