1. A theorem concerning the infinite cardinal numbers;Hardy;Quart. J. Math.,1904
2. Finite investigations of infinite derivations;Mints;J. Soviet Math.,1978
3. Mathematical Logic;Monk,1976
4. On n-quantifier induction;Parsons;J. Symbolic Logic,1972
5. Subrecursion: functions and hierarchies;Rose,1984