517.11 Б24 2 Барендрегт, Хендрик     Ламбда-исчисление: его синтаксис и семантика [Текст] : [монография] / пер. с англ. Г. Е. Минца ; под ред. А. С. Кузичева. — М. : Мир, 1985. — 606 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	3	Перейти на сайт