Теория нумераций. - Ершов Ю. Л. Юрий Леонидович (Математическая логика и основания математики)