Поиск :
Личный кабинет :
Электронный каталог: Барендрегт, Хендрик Питер - Ламбда-исчисление
Барендрегт, Хендрик Питер - Ламбда-исчисление
Доступно
2 из 2
2 из 2
Книга
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление : его синтиаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление : его синтиаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 Б24
Барендрегт, Хендрик Питер.
Ламбда-исчисление : его синтиаксис и семантика : пер. с англ. / Хендрик Питер Барендрегт ; пер. Г.Е. Минц ; под ред. А.С. Кузичев. – Москва : Мир, 1985. – 606 с. : ил. – На рус. яз. : 3.70.
510.6
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
51 Б24
Барендрегт, Хендрик Питер.
Ламбда-исчисление : его синтиаксис и семантика : пер. с англ. / Хендрик Питер Барендрегт ; пер. Г.Е. Минц ; под ред. А.С. Кузичев. – Москва : Мир, 1985. – 606 с. : ил. – На рус. яз. : 3.70.
510.6
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА