Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Sense and reference.Gottlob Frege - 1948 - Philosophical Review 57 (3):209-230.
    Download  
     
    Export citation  
     
    Bookmark   199 citations  
  • (1 other version)On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
    By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...)
    Download  
     
    Export citation  
     
    Bookmark   1245 citations  
  • (1 other version)Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.
    Download  
     
    Export citation  
     
    Bookmark   497 citations  
  • Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • A General Theory of Completeness Proofs.Sh^|^Ocirc Maehara & Ji - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   200 citations