The calculi of lambda-conversion.

书目详细资料
主要作者:	Church, Alonzo 1903-
格式:	图书
语言:	English
出版:	Princeton Princeton University Press c1941.
丛编:	Annals of mathematics studies, no. 6
主题:	Logic, Symbolic and mathematical. Functions.