Привет, хочу узнать, могли бы Вы написать курсовую работу по дисциплине:"Дискретная математика и математическая логика". Тема:"Основные принципы построения систем автоматизации доказательств"? Нужна проходная работа, страниц 30-35.
В качестве литературы советуют использовать
Мендельсон Э. Введение в математическую логику. М.:Изд-во "Наука", 1984