{"product_id":"lambda-calculus-and-combinators-cambridge-university-press-9780521898850-an-introduction-j-roger-hindley","title":"Lambda-Calculus and Combinators","description":"\u003cp\u003eExplore the fascinating world of combinatory logic and lambda-calculus in the 2nd Revised Edition of \u003cstrong\u003eLambda-Calculus and Combinators\u003c\/strong\u003e by J. Roger Hindley, published by Cambridge University Press in 2008. This comprehensive volume spans 358 pages and offers a clear, accessible introduction to these foundational concepts in mathematical logic.\u003c\/p\u003e \n\n\u003cp\u003eHindley meticulously discusses the grammar and essential properties of both combinatory logic and lambda-calculus, ensuring that readers grasp the core ideas without getting lost in technical jargon. The book further delves into type-theory and various models of lambda-calculus, making it an invaluable resource for students and enthusiasts alike. With numerous examples and exercises throughout, \u003cstrong\u003eLambda-Calculus and Combinators\u003c\/strong\u003e is designed to enhance understanding and engagement with the material. Whether you are a beginner or looking to deepen your knowledge, this book is a must-have addition to your collection.\u003c\/p\u003e","brand":"J. Roger Hindley","offers":[{"title":"Default Title","offer_id":52237646037334,"sku":"9780521898850","price":82.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521898850.jpg?v=1767759183","url":"https:\/\/www.bookshop.lt\/products\/lambda-calculus-and-combinators-cambridge-university-press-9780521898850-an-introduction-j-roger-hindley","provider":"Bookshop","version":"1.0","type":"link"}