Switch to: Citations

Add references

You must login to add references.
  1. Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
    Download  
     
    Export citation  
     
    Bookmark   146 citations  
  • Elements of Set Theory.Herbert B. Enderton - 1981 - Journal of Symbolic Logic 46 (1):164-165.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
    Download  
     
    Export citation  
     
    Bookmark   585 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  
  • (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   23 citations  
  • (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • (1 other version)Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Constructive Functional Analysis.D. S. Bridges & Peter Zahn - 1982 - Journal of Symbolic Logic 47 (3):703-705.
    Download  
     
    Export citation  
     
    Bookmark   22 citations