The calculi of lambda-conversion.

Библиографические подробности
Главный автор:	Church, Alonzo 1903-
Формат:	‌
Язык:	English
Опубликовано:	Princeton Princeton University Press c1941.
Серии:	Annals of mathematics studies, no. 6
Предметы:	Logic, Symbolic and mathematical. Functions.