The calculi of lambda-conversion.

Dades bibliogràfiques
Autor principal:	Church, Alonzo 1903-
Format:	Llibre
Idioma:	English
Publicat:	Princeton Princeton University Press c1941.
Col·lecció:	Annals of mathematics studies, no. 6
Matèries:	Logic, Symbolic and mathematical. Functions.