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   170 citations  
  • (2 other versions)Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Download  
     
    Export citation  
     
    Bookmark   80 citations