Вводный курс математической логики [Текст] /Успенский, В.А.

Вводный курс математической логики [Текст] /Успенский, В.А.

http://lib.kaznuvhi.edu.kz/lib/document/EK/FC5A2173-449C-4468-9499-52F06102DFE5/

22.12я7
У77
Успенский, В. А.
    Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.

УДК	510.6(075)

ББК 22.12я7

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА

   МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 5
6.1-№8 оқу залы (5)
Свободны: 6.1-№8 оқу залы (5)

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