Switch to: Citations

Add references

You must login to add references.
  1. Intuitionism: An introduction to a seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Realizability: a retrospective survey.S. C. Kleene - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 95--112.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 113--170.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    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-68866f4b87-sz9d2 uwo