Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Foundations of Constructive Mathematics. Metamathematical Studies.Michael J. Beeson - 1987 - Journal of Symbolic Logic 52 (1):278-279.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
    This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The consistency of classical set theory relative to a set theory with intuitionistic logic.Harvey Friedman - 1973 - Journal of Symbolic Logic 38 (2):315-319.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
    Download  
     
    Export citation  
     
    Bookmark   28 citations