Calculi of Lambda-Conversion

Discover the foundational work in mathematical logic with "Calculi of Lambda-Conversion" by Alonzo Church, published by Princeton University Press in 1985. This insightful book spans 77 pages and delves into the intricacies of lambda calculus, a vital area in both mathematics and computer science. Alonzo Church, a prominent figure in the field, presents his theories and methodologies in a clear and engaging manner, making this text an essential read for students and professionals alike. Whether you're exploring calculus or mathematical analysis, this book is a valuable addition to your library. Enhance your understanding of the principles that underpin computation and logic with this authoritative resource.