База данных: Книги ретро
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
22.12я7
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Страница 1, Результатов: 1