The calculi of lambda-conversion.

Bibliografiske detaljer
Hovedforfatter:	Church, Alonzo 1903-
Format:	Bog
Sprog:	English
Udgivet:	Princeton Princeton University Press c1941.
Serier:	Annals of mathematics studies, no. 6
Fag:	Logic, Symbolic and mathematical. Functions.