"Определимость и вычислимость" - читать интересную книгу автора (Ершов Ю. Л.)