{"product_id":"mathematical-logic-for-computer-science-springer-london-ltd-9781447141280-m-ben-ari","title":"Mathematical Logic for Computer Science","description":"\u003cp\u003eDiscover the essential resource for computer science students with \u003cstrong\u003eMathematical Logic for Computer Science\u003c\/strong\u003e by M. Ben-Ari. Published by Springer London Ltd in 2012, this comprehensive guide spans 346 pages and is now available in its third edition, completely rewritten to enhance your learning experience.\u003c\/p\u003e \n\n\u003cp\u003eThis engaging textbook focuses on the intersection of mathematics and computer science, utilizing the method of semantic tableaux to teach logical reasoning effectively. The updated edition includes new chapters dedicated to SAT solvers and model checking, ensuring that readers are equipped with the latest tools and techniques in the field.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student or a professional looking to deepen your understanding of mathematical logic, this book is an invaluable addition to your library. Explore the world of symbolic and mathematical logic tailored specifically for the needs of computer science!\u003c\/p\u003e","brand":"M. Ben-Ari","offers":[{"title":"Default Title","offer_id":52235626774870,"sku":"9781447141280","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781447141280.jpg?v=1767755784","url":"https:\/\/www.bookshop.lv\/products\/mathematical-logic-for-computer-science-springer-london-ltd-9781447141280-m-ben-ari","provider":"Bookshop","version":"1.0","type":"link"}