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