В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов основы теории моделей и теории алгоритмов, а также элементы неклассических логик.Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.