"Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях" - читать интересную книгу автора (Алаев П. Е.)