{"product_id":"logic-in-computer-science-springer-verlag-singapore-9789819798155","title":"Logic in Computer Science","description":"\u003cp\u003eDiscover the essential principles of mathematical logic with \u003cstrong\u003eLogic in Computer Science\u003c\/strong\u003e, a pivotal resource for students and professionals in mathematics, computer science, and artificial intelligence. Authored by experts in the field and published by \u003cstrong\u003eSpringer Verlag\u003c\/strong\u003e, this comprehensive guide spans \u003cstrong\u003e483 pages\u003c\/strong\u003e and is set to be released in \u003cstrong\u003e2025\u003c\/strong\u003e as part of its \u003cstrong\u003e2024 edition\u003c\/strong\u003e.\u003c\/p\u003e \n\n\u003cp\u003eThis book delves into a variety of logical frameworks, including classical propositional logic, first-order predicate logic, equational logic, temporal logic, and Hoare logic. Each section is designed to build a solid foundation in logic, making it an invaluable tool for anyone looking to deepen their understanding of computational theories and applications.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student eager to explore the fundamentals or a professional seeking to enhance your knowledge, \u003cstrong\u003eLogic in Computer Science\u003c\/strong\u003e is your gateway to mastering the logic that underpins the digital world.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52261821448534,"sku":"9789819798155","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789819798155.jpg?v=1767793097","url":"https:\/\/www.bookshop.ee\/products\/logic-in-computer-science-springer-verlag-singapore-9789819798155","provider":"Bookshop","version":"1.0","type":"link"}