TY  - BOOK
AU  - Барендрегт,Хендрик  Питер
TI  - Ламбда-исчисление.    Его синтаксис и семантика
U1  - 51.01:16 
PY  - 1985///
CY  - Москва
PB  - Мир
KW  - Математика
KW  - Математическая логика
N1  - Библиогр.:с.574-586
ER  -