TY  - BOOK
AU  - Барендрегт,Хендрик Питер
AU  - Минц,Г.Е.
AU  - Кузичев,А.С.
TI  - Ламбда-исчисление: Его синтаксис и семантика 
PY  - 1985///
CY  - Москва
PB  - Мир
KW  - Математическая логика
N1  - Оригинал на англ.; Its Syntax and Semantics; H.P. Barendregt -; Amsterdam New York Oxford : North-Holland Publishing Company : 1981
ER  -