W. A. Howard
发表
M. B. Pour-El,
W. A. Howard,
1964
.
W. A. Howard,
Compositio Mathematica,
1968
.
W. A. Howard,
1991
.
W. A. Howard,
1970
.
W. A. Howard,
1986
.
W. A. Howard,
1977
.
W. A. Howard,
T. Griffiths,
1966
.
William A. Howard,
W. A. Howard,
1969
.
Georg Kreisel,
William A. Howard,
G. Kreisel,
1966,
Journal of Symbolic Logic.
William A. Howard,
W. A. Howard,
1986
.
William A. Howard,
W. A. Howard,
1980,
Journal of Symbolic Logic.
William A. Howard,
W. A. Howard,
1972,
Journal of Symbolic Logic.
William A. Howard,
W. A. Howard,
1981,
Journal of Symbolic Logic.