"Равномерность в теории вычислимых структур" - читать интересную книгу автора (Доуни Р., Хиршевельд Д.)