The calculi of lambda-conversion.

Bibliographic Details
Main Author:	Church, Alonzo 1903-
Format:	Book
Language:	English
Published:	Princeton Princeton University Press c1941.
Series:	Annals of mathematics studies, no. 6
Subjects:	Logic, Symbolic and mathematical. Functions.