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.