Математическая логика и алгоритмические проблемы - Ершов Ю. Л. Юрий Леонидович (Труды Ин-та математики АН СССР, Сибирское отделение Т. 12)