| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.45я44я73 - К 608
Колмогоров, А. Н.
Математическая логика : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд., стер. — Москва : КомКнига, 2006. — 240 с. — (Классический университетский учебник). — ISBN 9785484005208. — Текст : непосредственный.
Математическая логика : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд., стер. — Москва : КомКнига, 2006. — 240 с. — (Классический университетский учебник). — ISBN 9785484005208. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Колмогоров А. Н., Драгалин А. Г.
Отраслевые рубрики: логика, математика, математическая логика
Ключевые слова: алгоритмы, доказательства, исчисление высказываний, исчисление предикатов, логико-математические языки, логические законы, множества, теория алгоритмов, теория доказательств, теория множеств, формальные аксиоматические теории
Форматированное содержание:
Введение в математическую логику
Математическая логика. Дополнительные главы
Индексы ББК: 87.45я44я73, 22.12я44я73
Представления: Формат MARC21