H. E. Rose

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]