The calculi of lambda-conversion.

The calculi of lambda-conversion.

Bibliografske podrobnosti
Glavni avtor: Church, Alonzo 1903-
Format: Knjiga
Jezik:English
Izdano: Princeton Princeton University Press c1941.
Serija:Annals of mathematics studies, no. 6
Teme:
Logic, Symbolic and mathematical.
Functions.