Поиск :
Личный кабинет :
Электронный каталог: Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика
Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика
Доступно
1 из 1
1 из 1
Книга
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 Б-248
Барендрегт, Хендрик Питер.
Ламбда-исчисление: Его синтаксис и семантика / Хендрик Питер Барендрегт ; Пер. с англ.: Г.Е.Минц ; Ред. пер. с англ.: А.С.Кузичев. – М. : Мир, 1985. – 606 с. : ил. – Библиогр.: с.574-586. – Пер. изд.: The Lambda calculus/ H.P.Barendregt (Amsterdam ect., 1981).
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 Б-248
Барендрегт, Хендрик Питер.
Ламбда-исчисление: Его синтаксис и семантика / Хендрик Питер Барендрегт ; Пер. с англ.: Г.Е.Минц ; Ред. пер. с англ.: А.С.Кузичев. – М. : Мир, 1985. – 606 с. : ил. – Библиогр.: с.574-586. – Пер. изд.: The Lambda calculus/ H.P.Barendregt (Amsterdam ect., 1981).
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |