Switch to: Citations

Add references

You must login to add references.
  1. Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • (1 other version)The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Leçons de logique algébrique.Haskell Brooks Curry - 1952 - Paris,: Gauthier-Villars.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Positive logic and λ-constants.David Meredith - 1978 - Studia Logica 37 (3):269 - 285.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • W. Sierpiński. L'axiome de M. Zermelo et son róle dans la théorie des ensembles et l'analyse. Bulletin international de l'Académie des Sciences de Cracovie, Classe des sciences mathématiques et naturelles, Séie A, Sciences mathématiques, année 1918, pp. 97–152. - Wacław Sierpiński. Les exemples effectifs et l'axiome du choix. Fundamenta mathematicae, vol. 2 , pp. 112–118. - Waclaw Sierpiński. Sur les ensembles de points qu'on sait definir effectivement. Verhandlungen des Internationalen Mathematiker-Kongresses Zürich 1932, vol. 1 , pp. 280–287. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):235-235.
    Download  
     
    Export citation  
     
    Bookmark   1 citation