База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
517.11
М 34
Математическая теория логического вывода : Сб. перев. / Под ред. Идельсон А.В. - М. : Наука, 1967. - 351 c.
Кл.слова (ненормированные):
теория чисел -- научная литература -- теория логического вывода -- математика -- метод семантических таблиц -- математическая логика -- сборники
Доп.точки доступа:
Идельсон, А. В. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
М 34
Математическая теория логического вывода : Сб. перев. / Под ред. Идельсон А.В. - М. : Наука, 1967. - 351 c.
УДК |
Кл.слова (ненормированные):
теория чисел -- научная литература -- теория логического вывода -- математика -- метод семантических таблиц -- математическая логика -- сборники
Доп.точки доступа:
Идельсон, А. В. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Страница 1, Результатов: 1