The calculi of lambda-conversion /

Bibliographic Details

Main Author:	Church, Alonzo, 1903-1995
Format:	Book
Language:	English
Published:	Princeton : London : Princeton University Press, H. Milford, Oxford University Press, 1941.
Series:	[Annals of mathematics studies, no. 6]
Subjects:	Logic, Symbolic and mathematical. Functions.