Switch to: Citations

Add references

You must login to add references.
  1. Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    Download  
     
    Export citation  
     
    Bookmark   115 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  
  • Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Notes on constructive mathematics.Per Martin-Löf - 1970 - Stockholm,: Almqvist & Wiksell.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Intuitionism, an Introduction by A. Heyting. [REVIEW]Andrzej Grzegorczyk - 1958 - Studia Logica 7:277-278.
    Download  
     
    Export citation  
     
    Bookmark   98 citations