"Факультативный курс ''Система автоматизации процесса решения задач''. Часть 1. Элементы математической логики" - читать интересную книгу автора (Дмитриева М., Павлова М.)