Rekursivnyj matematičeskij analiz - Goodstein, R. L. (Matematičeskaja logika i osnovanija matematiki / Nauka - Moskva., 1970)