{"product_id":"programming-with-higher-order-logic-cambridge-university-press-9780521879408-dale-miller","title":"Programming with Higher-Order Logic","description":"\u003cp\u003eDiscover the innovative world of computation with \u003cstrong\u003eProgramming with Higher-Order Logic\u003c\/strong\u003e by \u003cstrong\u003eDale Miller\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2012. This insightful hardback edition spans 320 pages and delves into the intricacies of formal systems in computer science.\u003c\/p\u003e \n\n\u003cp\u003eDale Miller presents a groundbreaking programming language grounded in a simply typed version of higher-order logic. This book elegantly demonstrates how this approach facilitates computations over syntactic structures that embody binding. Whether you are a seasoned programmer or a curious learner, this work provides a comprehensive understanding of logic programming and its applications, particularly with Prolog.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your programming skills and deepen your knowledge of computational structures with this essential resource. Perfect for those interested in programming languages and logic, \u003cstrong\u003eProgramming with Higher-Order Logic\u003c\/strong\u003e is a must-read for anyone looking to expand their expertise in the field.\u003c\/p\u003e","brand":"Dale Miller","offers":[{"title":"Default Title","offer_id":52231637729622,"sku":"9780521879408","price":53.35,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521879408.jpg?v=1767748593","url":"https:\/\/www.bookshop.lt\/products\/programming-with-higher-order-logic-cambridge-university-press-9780521879408-dale-miller","provider":"Bookshop","version":"1.0","type":"link"}