We stand with Ukraine  

William A. Howard

Affiliations:
  • University of Illinois at Chicago, IL, USA


According to our database1, William A. Howard authored at least 5 papers between 1966 and 2001.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2001
Peirce's influence on today's mathematical logic.
[BibTeX]
[DOI]
William A. Howard
Cybern. Hum. Knowing, 2001

1981
Ordinal Analysis of Simple Cases of Bar Recursion.
[BibTeX]
[DOI]
William A. Howard
J. Symb. Log., 1981

1980
Ordinal Analysis of Terms of Finite Type.
[BibTeX]
[DOI]
William A. Howard
J. Symb. Log., 1980

1972
A System of Abstract Constructive Ordinals.
[BibTeX]
[DOI]
William A. Howard
J. Symb. Log., 1972

1966
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
[BibTeX]
[DOI]
William A. Howard
,
Georg Kreisel
J. Symb. Log., 1966


  Loading...