Поиск :
Личный кабинет :
Электронный каталог: Исследование логических систем
Исследование логических систем
Доступно
1 из 1
1 из 1
Заказать 
На полку
Книга
51 И889
Исследование логических систем / Отв. ред. П. В. Таванец. – М.: Наука, 1970. – 334 с.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : история и биографии. Избранные труды. Сборники = history and biographies. Selectas. Collected works.
167568 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 И889
51 И889
Исследование логических систем / Отв. ред. П. В. Таванец. – М.: Наука, 1970. – 334 с.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : история и биографии. Избранные труды. Сборники = history and biographies. Selectas. Collected works.
167568 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 И889