The calculi of lambda-conversion.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Church, Alonzo 1903-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Princeton Princeton University Press c1941.
Σειρά:Annals of mathematics studies, no. 6
Θέματα: