The calculi of lambda-conversion.

The calculi of lambda-conversion.

Podrobná bibliografie
Hlavní autor: Church, Alonzo 1903-
Médium: Kniha
Jazyk:English
Vydáno: Princeton Princeton University Press c1941.
Edice:Annals of mathematics studies, no. 6
Témata:
Logic, Symbolic and mathematical.
Functions.