Дмитрий Валерьевич Гринченков

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