51
   Н73


    Новиков, П. С.
    Элементы математической логики / Новиков, П. С. - Изд. 2-е, испр. - М. : Наука, 1973. - 399 с. - (Математическая логика и основания математики). - 14.00 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
я08 -- математика -- математическая логика -- алгебра высказываний -- исчисление -- теоремы -- логика предикатов -- аксиомы -- формулы -- арифметика -- множители -- теория доказательств -- дар Касенова

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

   51
   Г65


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

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

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


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

   51
   И26


    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по спец. "Математика" / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2006. - 303 с. - (Высшее профессиональное образование). - ISBN 5-7695-2914-8 : 3530.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- теории алгоритмов

Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)