Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   171 citations  
  • Assumption Classes in Natural Deduction.Daniel Leivant - 1979 - Mathematical Logic Quarterly 25 (1-2):1-4.
    Download  
     
    Export citation  
     
    Bookmark   9 citations