The calculi of lambda-conversion.

Dettagli Bibliografici
Autore principale:	Church, Alonzo 1903-
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Princeton Princeton University Press c1941.
Serie:	Annals of mathematics studies, no. 6
Soggetti:	Logic, Symbolic and mathematical. Functions.