W. A. Howard

	1981
4		W. A. Howard: Ordinal Analysis of Simple Cases of Bar Recursion. J. Symb. Log. 46(1): 17-30 (1981)
	1980
3		W. A. Howard: Ordinal Analysis of Terms of Finite Type. J. Symb. Log. 45(3): 493-504 (1980)
	1972
2		W. A. Howard: A System of Abstract Constructive Ordinals. J. Symb. Log. 37(2): 355-374 (1972)
	1966
1		W. A. Howard, G. Kreisel: Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. J. Symb. Log. 31(3): 325-358 (1966)

Coauthor Index

1

G. Kreisel

[1]