Switch to: Citations

Add references

You must login to add references.
  1. Proofs of non-deducibility in intuitionistic functional calculus.Andkzej Mostowski - 1948 - Journal of Symbolic Logic 13 (4):204-207.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The First Order Properties of Products of Algebraic Systems.S. Feferman & R. L. Vaught - 1967 - Journal of Symbolic Logic 32 (2):276-276.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Principles of continuous choice and continuity of functions in formal systems for constructive mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249.
    Download  
     
    Export citation  
     
    Bookmark   14 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-7674574dd6-n58h5 uwo