"Арифметика второго порядка и пульсирующие иерархии" - читать интересную книгу автора (Гайлит Е.В.)