Гринченков, Д.В. Математическая логика и теория алгоритмов для программистов: Учебное пособие / Д.В. Гринченков, С.И. Потоцкий. - М.: КноРус, 2013. - 206 c.
Гуц, А.К. Математическая логика и теория алгоритмов / А.К. Гуц. - М.: Ленанд, 2016. - 128 c.
Зюзьков, В. Математическая логика и теория алгоритмов / В. Зюзьков. - М.: ГЛТ, 2007. - 176 c.
Зюзьков, В.М. Математическая логика и теория алгоритмов / В.М. Зюзьков. - М.: ГЛТ, 2007. - 176 c.
Зюзьков, В.М. Математическая логика и теория алгоритмов: Учебное пособие для вузов / В.М. Зюзьков, А.А. Шелупанов. - М.: ГЛТ , 2007. - 176 c.
Игошин, В.И. Теория алгоритмов: Учебное пособие / В.И. Игошин. - М.: ИНФРА-М, 2013. - 318 c.
Игошин, В.И. Теория алгоритмов: Учебное пособие(ГРИФ) / В.И. Игошин. - М.: ИНФРА-М, 2012. - 318 c.
Крупский, В.Н. Математическая логика и теория алгоритмов: Учебное пособие для студентов учреждений высшего проф. образования / В.Н. Крупский, В.Е. Плиско. - М.: ИЦ Академия, 2013. - 416 c.
Лаврушин, О.И. Математическая логика и теория алгоритмов для программистов / О.И. Лаврушин, Л.О. Бабешко, В.А. Бывшев. - М.: КноРус, 2013. - 208 c.
Матрос, Д.Ш. Теория алгоритмов: Учебник / Д.Ш. Матрос, Г.Б. Поднебесова. - М.: БИНОМ. ЛЗ, 2008. - 202 c.
Матрос, Д.Ш. Теория алгоритмов / Д.Ш. Матрос, Г.Б. Поднебесова. - М.: БИНОМ. Лаборатория знаний, 2008. - 202 c.
Матрос, Д.Ш. Теория алгоритмов: Учебник / Д.Ш. Матрос, Г.Б. Поднебесова. - М.: Бином, 2014. - 202 c.
Набебин, А.А. Математическая логика и теория алгоритмов: Учебное пособие / А.А. Набебин, Ю.П. Кораблин. - М.: Научный мир, 2008. - 343 c.