51 Баре Барендрегт, Х. П.     Ламбда-исчисление. Его синтаксис и семантика [Текст] / Х.П. Барендрегт. — Москва : Мир, 1985. — 606 с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . кіб - кібернетики	3	Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . м/м - механіко-математичний ф-т	1	Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова	2	Перейти на сайт