Электронный каталог МПГУ -Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика

Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика

Доступно
3 из 3

Книга
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика : Пер. с англ.
Издательство: Мир, 1985 г.
ISBN отсутствует

Заказать

На полку

Книга
51мл. Б248

Барендрегт, Хендрик Питер.
Ламбда-исчисление: Его синтаксис и семантика : Пер. с англ. / Х. П. Барендрегт; под редакцией А. С. Кузичева. – Москва : Мир, 1985. – 606 с. : ил. – Перевод изд.: The lambda calculus / H. P. Barendregt (Amsterdam etc., 1981). – Библиогр. : с. 574-586. – На рус. яз. : 3.70.

ББК 22.12

основной = математика : математическая логика

00000000600222 МАТН 51мл. Б248
00000000600223 МАТН 51мл. Б248
00000000600224 МАТН 51мл. Б248