Дмитрий Валерьевич Гринченков Математическая логика и теория алгоритмов для программистов. (Бакалавриат). Учебное пособие. Подробнее
