The calculi of lambda-conversion.

The calculi of lambda-conversion.

Opis bibliograficzny
1. autor: Church, Alonzo 1903-
Format: Książka
Język:English
Wydane: Princeton Princeton University Press c1941.
Seria:Annals of mathematics studies, no. 6
Hasła przedmiotowe:
Logic, Symbolic and mathematical.
Functions.