Рекурсивный математический анализ - Гудстейн Р.Л (Наука, 1970)