William A. Howard

Publication Activity (10 Years)

Years Active: 1966-2001
Publications (10 Years): 0

Publications

William A. Howard
Peirce's influence on today's mathematical logic. Cybern. Hum. Knowing 8 (1-2) (2001)
William A. Howard
Ordinal Analysis of Simple Cases of Bar Recursion. J. Symb. Log. 46 (1) (1981)
William A. Howard
Ordinal Analysis of Terms of Finite Type. J. Symb. Log. 45 (3) (1980)
William A. Howard
A System of Abstract Constructive Ordinals. J. Symb. Log. 37 (2) (1972)
William A. Howard, Georg Kreisel
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. J. Symb. Log. 31 (3) (1966)