Судоплатов, С. В. Математика. Математическая логика и теория алгоритмов

Судоплатов, С. В. Математика. Математическая логика и теория алгоритмов : учебник и практикум для СПО / С. В. Судоплатов, Е. В. Овчинникова. – 5-е изд., стер. – Москва : Юрайт, 2019. – 255 с. – (Профессиональное образование). – Библиогр.: с. 358-359.
В книге излагаются основные классические исчисления математической логики: исчисления высказываний и исчисления предикатов, а также элементы теории алгоритмов и неклассических логик. Книга предназначена для студентов технических вузов, изучающих математическую логику и теорию алгоритмов