Работы, которые можно читать здесь по теме «Теория вычислимости»