Математическая теория логического вывода

 

QR-код документа

Оценок: 0

517.11
М 34

    Математическая теория логического вывода : Сб. перев. / Под ред. Идельсон А.В. - М. : Наука, 1967. - 351 c.

УДК
517.11

Кл.слова (ненормированные):
теория чисел -- научная литература -- теория логического вывода -- математика -- метод семантических таблиц -- математическая логика -- сборники
Доп.точки доступа:
Идельсон, А. В. \ред.\

Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)

Авторизуйтесь для получения дополнительных услуг