The calculi of lambda-conversion

by Alonzo Church · 2 reviews · 1941–1952

Reviewed by Journal Date Access
S. C. Kleene The Journal of Symbolic Logic 1952 Restricted
Barkley Rosser The Journal of Symbolic Logic 1941 Restricted

Metaphysics & Logic

Also by Church

Search PhilReviews for this title