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