"Академия", 2008
Предлагаемое учебное пособие составляет основу комплекта по курсу
математической логики и теории алгоритмов, в который также входит
сборник задач (Игошин В.И. Задачи и упражнения по математической
логике и теории алгоритмов). Подробно изложены основы теории,
показаны направления проникновения логики в основания алгебры,
анализа, геометрии, привлечен материал школьного курса математики для его
логического анализа, охарактеризованы взаимосвязи математической
логики с компьютерами, информатикой, системами искусственного
интеллекта.