Ефимов Д.Б. Математическая логика и теория алгоритмов: учебное пособие/ сост. Д.Б. Ефимов, С.М. Полещиков; Сыкт.лесн. ин-т.- Сыктывкар: СЛИ, 2012.- 100 с.
Пособие содержит теоретический материал и упражнения по некоторым основным темам курса математической логики и теории алгоритмов. Скачать