Колмогоров А. Н. Математическая логика: учебное пособие / Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич. - 3-е изд., стер. - Москва: КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 9785484005208.Отраслевые рубрики: логика, математика, математическая логика Ключевые слова: алгоритмы, доказательства, исчисление высказываний, исчисление предикатов, логико-математические языки, логические законы, множества, теория алгоритмов, теория доказательств, теория множеств, формальные аксиоматические теории Форматир. содержание:
Введение в математическую логику
Математическая логика. Дополнительные главы
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 1 | 1 | 0 |
| 
Блог Мишки Б.
