Definability in the extended arithmetic of ordinal numbers - Doner, John (Państwowe wydawnictwo naukowe, 1972)