Azala

The calculi of lambda-conversion.

Xehetasun bibliografikoak
Egile nagusia: Church, Alonzo 1903-
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: Princeton Princeton University Press c1941.
Saila:Annals of mathematics studies, no. 6
Gaiak:
Logic, Symbolic and mathematical.
Functions.