16 found
Order:
  1. The Formulæ-as-Types Notion of Construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    Bookmark   59 citations  
  2.  27
    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.
  3.  30
    Ordinal Analysis of Simple Cases of Bar Recursion.W. A. Howard - 1981 - Journal of Symbolic Logic 46 (1):17-30.
  4.  27
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  22
    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.
  6.  21
    A. G. Hamilton. Logic for Mathematicians. Cambridge University Press, Cambridge Etc. 1978, Viii + 224 Pp. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  18
    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.
  8.  26
    A System of Abstract Constructive Ordinals.W. A. Howard - 1972 - Journal of Symbolic Logic 37 (2):355-374.
  9.  14
    Ordinal Analysis of Terms of Finite Type.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (3):493-504.
  10.  31
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp.Smoryński C.. D.1. The Incompleteness Theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof Theory: Some Applications of Cut-Elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's Theorem and Gentzen's Notion of a Direct Proof. Pp. 897–912.Feferman Solomon. D.4. Theories of Finite Type Related to Mathematical Practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of Constructive Mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The Logic of Topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The Type Free Lambda Calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A Mathematical Incompleteness in Peano Arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  11.  20
    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.
  12.  19
    Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
  13.  9
    Review: Kurt Schutte, J. N. Crossley, Proof Theory. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  14.  6
    Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  15. Review: A. G. Hamilton, Logic for Mathematicians. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
  16. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.