Математическая логика и теория алгоритмов для программистов: учебное пособие для вузов - Гринченков, Д. В. Дмитрий Валерьевич (КноРус, 2010)