H. E. Rose

Publication Activity (10 Years)

Years Active: 1972-1974
Publications (10 Years): 0

Publications

H. E. Rose, John C. Shepherdson
European Meeting of the Association for Symbolic Logic: Bristol, England, 1973. J. Symb. Log. 39 (2) (1974)
H. E. Rose
-Arithmetic and Transfinite Induction. J. Symb. Log. 37 (1) (1972)