Switch to: Citations

Add references

You must login to add references.
  1. Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
    This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.
    Download  
     
    Export citation  
     
    Bookmark   207 citations  
  • (2 other versions)Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.
    Download  
     
    Export citation  
     
    Bookmark   701 citations  
  • (5 other versions)What is Cantor's Continuum Problem (1964 version).Kurt Gödel - 1964 - Journal of Symbolic Logic (2):116-117.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • (1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
    Download  
     
    Export citation  
     
    Bookmark   80 citations