Rekursivnyj matematičeskij analiz - Goodstein, R. L. (Izdatel'stvo "Nauka", 1970)
Prijevod djela: RECURSIVE NUMBER THEORY