Вас интересует документ:
Крючкова Е.Н. Основы математической логики и теории алгоритмов: Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с.
PDF-файл, соответствующий оригинальному изданию документа, можно скачать из электронной библиотеки АлтГТУ по адресу
http://elib.altstu.ru