Нужен курс по мат. логике и теории алгоритмов?
Есть хорошая трилогия Верещагина, Шеня по этому делу.
www.mccme.ru/free-books (см. п. 30)
Если кому-нибудь еще интересно
https://openedu.ru/course/spbstu/MATLOG/
https://openedu.ru/course/mipt/MLTA/