E alpha -Arithmetic and Transfinite Induction. - H. E. Rose (J. Symb. Log., 1972)

European Meeting of the Association for Symbolic Logic: Bristol, England, 1973. - H. E. Rose; John C. Shepherdson (J. Symb. Log., 1974)