| |
| 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) | |
| 1 | G. Kreisel | [1] |