Поиск :
Личный кабинет :
Электронный каталог: Барендрегт, Х - Ламбда - исчисление. Его синтаксис и сематика
Барендрегт, Х - Ламбда - исчисление. Его синтаксис и сематика
Книга
Автор: Барендрегт, Х
Ламбда - исчисление. Его синтаксис и сематика
Издательство: Мир, 1985 г.
ISBN отсутствует
Автор: Барендрегт, Х
Ламбда - исчисление. Его синтаксис и сематика
Издательство: Мир, 1985 г.
ISBN отсутствует
Книга
УДК 51 Б248
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и сематика : пер. с англ. / Х Барендрегт, А. С Кузичев . – М. : Мир, 1985 . – 606 с.
51 Б248
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = ГАСНТИ 50.01.77
Тезаурус = Автоматика. Вычислительная техника : общие вопросы : математические и кибернетические методы исследования и моделирования
857818 Кх
УДК 51 Б248
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и сематика : пер. с англ. / Х Барендрегт, А. С Кузичев . – М. : Мир, 1985 . – 606 с.
51 Б248
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = ГАСНТИ 50.01.77
Тезаурус = Автоматика. Вычислительная техника : общие вопросы : математические и кибернетические методы исследования и моделирования
857818 Кх