TY  - BOOK
AU  - Литвинова,А.В.
TI  - The Lambda Calculus
PY  - 1936///
CY  - Москва
PB  - Изд-во Т-ва Иностр. Рабочих в СССР
KW  - English
ER  -