The calculi of lambda-conversion.

Bibliografski detalji
Glavni autor:	Church, Alonzo 1903-
Format:	Knjiga
Jezik:	English
Izdano:	Princeton Princeton University Press c1941.
Serija:	Annals of mathematics studies, no. 6
Teme:	Logic, Symbolic and mathematical. Functions.