Definability in the extended arithmetic of ordinal numbers / - Doner, John. (Panstwewe Wydawnictwo Naukowe, 1972)