Switch to: Citations

Add references

You must login to add references.
  1. Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
    Download  
     
    Export citation  
     
    Bookmark   49 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-8q2d6 uwo