Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Disjunctive properties of intuitionistic systems.B. Scarpellini - 1974 - Archive for Mathematical Logic 16 (3-4):147-158.
    Download  
     
    Export citation  
     
    Bookmark   1 citation