"Гудстейн,_Рекурсивный_мат.анализ,1970.pdf" - читать интересную книгу автора