- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by W. A. Howard
9 found
Order:
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.
- Ordinal analysis of simple cases of bar recursion.W. A. Howard - 1981 - Journal of Symbolic Logic 46 (1):17-30.
- Ordinal analysis of terms of finite type.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (3):493-504.
- (1 other version)A system of abstract constructive ordinals.W. A. Howard - 1972 - Journal of Symbolic Logic 37 (2):355-374.
- Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
- (2 other versions)Logic for Mathematicians.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
- (1 other version)Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
- (1 other version)Kurt Schütte. Proof theory. Revised English translation by J. N. Crossley of XXV 243. Grundlehren der mathematischen Wissenschaften, no. 225. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, xii + 299 pp. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
- (1 other version)Moschovakis J. R.. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-r597v uwo