H. E. Rose

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1974

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

1972

1 H. E. Rose: E ^alpha -Arithmetic and Transfinite Induction. J. Symb. Log. 37(1): 19-30 (1972)

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

Coauthor Index

1 John C. Shepherdson [2]