Поиск :
Личный кабинет :
Электронный каталог: Барендрегт, Х. - Ламбда - исчисление. Его синтаксис и семантика
Барендрегт, Х. - Ламбда - исчисление. Его синтаксис и семантика
Доступно
1 из 1
1 из 1
Книга
Автор: Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует
Автор: Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует
Книга
51 Б248
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика / Х. Барендрегт; Пер. с англ. Г. Е. Минца; Под ред. А. С. Кузичева. – М.: Мир, 1985. – 606 с. - The Lambda Calculus.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
160653 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 Б248
51 Б248
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика / Х. Барендрегт; Пер. с англ. Г. Е. Минца; Под ред. А. С. Кузичева. – М.: Мир, 1985. – 606 с. - The Lambda Calculus.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
160653 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 Б248