Поиск :
Личный кабинет :
Электронный каталог: Кузнецов, А. В. - Логический вывод
Кузнецов, А. В. - Логический вывод
Доступно
1 из 2
1 из 2
Заказать 
На полку
Книга
51 Л694
Кузнецов, А. В.
Логический вывод / А. В. Кузнецов, И. С. Негру, М. Токаж, и др.; Отв. ред. В. А. Смирнов. – М.: Наука, 1979. – 311 с.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
167021 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 Л694
167022 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Л694
51 Л694
Кузнецов, А. В.
Логический вывод / А. В. Кузнецов, И. С. Негру, М. Токаж, и др.; Отв. ред. В. А. Смирнов. – М.: Наука, 1979. – 311 с.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
167021 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 Л694
167022 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Л694