Поиск :
Личный кабинет :
Электронный каталог: Математическая теория логического вывода
Математическая теория логического вывода
Доступно
1 из 1
1 из 1
Книга
Автор:
Математическая теория логического вывода : сб. переводов
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует
Автор:
Математическая теория логического вывода : сб. переводов
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 М34
Математическая теория логического вывода: сб. переводов / Под ред. А. В. Идельсона, Г. Е. Минца. – М.: Наука. Гл. ред. физ.-мат. лит., 1967. – 351 с. – (Сер. "Математическая логика и основания математики").
510.6
511
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : теория чисел = number theory [511]
165702 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 М34
51 М34
Математическая теория логического вывода: сб. переводов / Под ред. А. В. Идельсона, Г. Е. Минца. – М.: Наука. Гл. ред. физ.-мат. лит., 1967. – 351 с. – (Сер. "Математическая логика и основания математики").
510.6
511
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : теория чисел = number theory [511]
165702 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 М34