The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
A comprehensive treatment of the lambda calculus, detailing its syntax, semantics, and significance in logic and the foundations of mathematics.
About This Book
This book presents a detailed study of the lambda calculus, a formal system central to mathematical logic and theoretical computer science.
It examines both the syntax and semantics of lambda expressions and explores connections to computability and proof theory.
The revised edition incorporates updates reflecting developments in the field since the original publication.
Intended for advanced students and researchers, it serves as a standard reference in logic and the foundations of mathematics.
Reviews
No reviews yet. Be the first to review this book!