"Рекурсивный математический анализ" - читать интересную книгу автора (Гудстейн Р.Л.)