Колмогоров, А. Н.
Математическая логика. Дополнительные главы : [учеб. пособие для вузов по спец. "Математика"] / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Моск. ун-та, 1984. - 118 с. - Библиогр.: с. 117. - доп. Министерством высшего и среднего специального образования СССР.

Аннотация: Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте.

ББК: 22.122я73-1

Экземпляры: Всего: 1, из них: кх-1

Полочные шифры: 22.12 - К 608

Инвентарный номер: 527743

URL биб.описания: http://lib.chuvgpu.ru/MegaPro/UserEntry?Action=FindDocs&ids=65764&idb=mega1