| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Барендрегт, Х. П.
Ламбда-исчисление : Его синтаксис и семантика / Х. П. Барендрегт; пер. с англ. Г. Е. Минца ; под ред. А. С. Кузичева. - Москва : Мир, 1985. - 606 с.
Ламбда-исчисление : Его синтаксис и семантика / Х. П. Барендрегт; пер. с англ. Г. Е. Минца ; под ред. А. С. Кузичева. - Москва : Мир, 1985. - 606 с.
ББК: 22.12
Рубрики: Естественные науки, Математика, Математическая логика
Экземпляры: Всего: 2, из них: аб-1, кх-1
Полочные шифры: 22.12 - Б 248
Инвентарный номер: 542443,556378
Информация об экземплярах