Switch to: Citations

Add references

You must login to add references.
  1. An intuitiomstic completeness theorem for intuitionistic predicate logic.Wim Veldman - 1976 - Journal of Symbolic Logic 41 (1):159-166.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The War of the frogs and the mice, or the crisis of the Mathematische Annalen.D. van Dalen - 1990 - The Mathematical Intelligencer 12 (4):17--31.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Über die Grundlagen der Logik und der Arithmetik.David Hilbert - 1905 - In Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg Vom 8. Bis 13. August 1904. Teubner. pp. 174-85.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Zehn Vorlesungen über die Grundlegung der Mengenlehre. [REVIEW]H. R. Smart - 1928 - Philosophical Review 37 (3):290-290.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Intuitionismus.L. E. J. Brouwer & D. van Dalen - 1995 - Studia Logica 54 (3):423-424.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7674574dd6-2c8pt uwo