The Calculi of Lambda-Conversion (AM-6), Volume 6
Alonzo Church • Princeton University Press • ISBN-13 978‑1400881932
The Calculi of Lambda-Conversion (AM-6), Volume 6
Alonzo Church • Princeton University Press
ISBN-10: 1400881935 · ISBN-13: 978‑1400881932 · 2016
Live offer for this book: 1 live copy of this book from $77.39 (as of 2026-09-08).
Canonical book record
Completeness 48
Cover quality: low resolution
2manybooks editorial
Originally published in 1941, this foundational text presents Alonzo Church’s formal system for mathematical logic and the lambda calculus. It remains a seminal work in the history of computation, detailing the conversion rules and logical structures that influenced the development of theoretical computer science and the work of Alan Turing.
Book metadata
Marketplace observations
1 live copy of this book from $77.39 (as of 2026-09-08).
Contributors
Community tags
Inferred themes
Machine-inferred from catalog text. Not verified subjects.
Stored catalog notes
Community signals
Have: 7 · Like: 4 · Rating: 4.1 / 5 (6)
Current asking prices
Lowest
—
Median
—
Highest
$77
Community comments
0 likes • 0 comments
Log in to like this book and join the discussion.
Loading comments…
Editions and similar books
Related titles. These are other books, not live offers for The Calculi of Lambda-Conversion (AM-6), Volume 6.
Asymptotic Differential Algebra and Model Theory of Transseries
, ,
Non-Archimedean Tame Topology and Stably Dominated Types
,
Disquisitiones Arithmeticae
The Mathematics Lover’s Companion
Philosophy of Mathematics
Theory of Formal Systems. (AM-47), Volume 47
e: The Story of a Number
Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers
Suggest catalog improvements
Log in to submit metadata updates for this book.