Итоги голосования для комментария:
Ahill_ Первым этапом (во избежание технических ошибок что и в корневом комментарии) могу посоветовать весьма годную книгу:
Верещагин, Шень «Вычислимые функции» www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf

Бонусом ещё и в свободном доступе (как и [почти] всё МЦНМО)
Последний раз редактировалось