+- Softwarez.Info - Software's World! (https://softwarez.info)
+-- Forum: Library Zone (https://softwarez.info/Forum-Library-Zone)
+--- Forum: E-Books (https://softwarez.info/Forum-E-Books)
+--- Thread: The Logic, Philosophy, and History of the Lambda-Calculus (/Thread-The-Logic-Philosophy-and-History-of-the-Lambda-Calculus)
The Logic, Philosophy, and History of the Lambda-Calculus - ebooks1001 - 01-10-2025
![[Image: ac892db016ff146f8845425f8d90b669.webp]](https://i124.fastpic.org/big/2025/0110/69/ac892db016ff146f8845425f8d90b669.webp)
Free Download The Logic, Philosophy, and History of the Lambda-Calculus: Theory and Applications
English | 2024 | ISBN: 3031728505 | 352 Pages | PDF EPUB (True) | 4.3 MB
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called "lambda-philosophy": a branch of logic-based analytic philosophy in the tradition of Frege and Russell, directly constructed from the lambda-calculus. Another innovation of the book is a new graphical and intuitive logico-mathematical notation for the lambda-calculus called "the container notation".
Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
Links are Interchangeable - Single Extraction