51
   Г65


   Гончаров, С. С.

    Алгебраические и алгоритмические свойства логических исчислений : [монография] / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин. - Новосибирск : НГУ.
   Ч. 1. - 2008. - 221 с. - ISBN 978-5-94356-573-1 : 420.00 р.
УДК
Рубрики: Математика--Высшая математика
   Труды ученых ПГУ

Кл.слова (ненормированные):
логические исчисления -- теоремы -- индукции -- алгебра высказываний -- дедукция -- дар автора


Доп.точки доступа:
Дроботун, Б. Н.; Никитин, А. А.
Экземпляры всего: 5
ППС (2), ЧЗ (2), АБ (1)
Свободны: ППС (2), ЧЗ (2), АБ (1)