Switch to: Citations

Add references

You must login to add references.
  1. Computable Analysis.Oliver Aberth - 1984 - Journal of Symbolic Logic 49 (3):988-989.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • (1 other version)Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.
    Download  
     
    Export citation  
     
    Bookmark   94 citations