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

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки	6	Перейти на сайт