9 found
Order:
  1.  16
    J. Diller. Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
  2.  20
    A Structural Criterion for Recursive Enumeration Without Repetition.Marian Boykan Pour-El & William A. Howard - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (8):105-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  11
    Recursively Enumerable Classes and Their Application to Recursive Sequences of Formal Theories.Marian Boykan Pour-el, Hilary Putnam, William A. Howard & A. H. Lachlan - 1973 - Journal of Symbolic Logic 38 (1):155-156.
  4. Review: Michael J. Beeson, Foundations of Constructive Mathematics. Metamathematical Studies. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
     
    Export citation  
     
    Bookmark  
  5.  1
    A Structural Criterion for Recursive Enumeration Without Repetition.Marian Boykan Pour-El & William A. Howard - 1964 - Mathematical Logic Quarterly 10 (8):105-114.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  18
    Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  8
    Beeson Michael J.. Foundations of Constructive Mathematics. Metamathematical Studies. Ergebnisse der Mathematik Und Ihrer Grenzgebiete, Ser. 3 Vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, Xxiii + 466 Pp. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    R. E. Vesley. A Palatable Substitute for Kripke's Schema. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
  9.  5
    Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark