Математическая логика и теория алгоритмов [Г. И. Анкудинов] (pdf)