Switch to: Citations

Add references

You must login to add references.
  1. Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • An addendum.A. S. Troelstra - 1971 - Annals of Mathematical Logic 3 (4):437.
    Download  
     
    Export citation  
     
    Bookmark   1 citation