Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Download  
     
    Export citation  
     
    Bookmark   220 citations  
  • (1 other version)On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • (1 other version)On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Download  
     
    Export citation  
     
    Bookmark   598 citations  
  • (2 other versions)Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • (1 other version)A classification of logical systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • (1 other version)Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
    Download  
     
    Export citation  
     
    Bookmark   153 citations  
  • (1 other version)Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (2 other versions)Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Alternative proof of a theorem of Kleene.Hao Wang - 1958 - Journal of Symbolic Logic 23 (3):250.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Classical descriptive set theory as a refinement of effective descriptive set theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
    The Suslin–Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation.
    Download  
     
    Export citation  
     
    Bookmark   1 citation