Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Investigations Into Implicational S5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13-17):203-220.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)On the scope of the classical deduction theorem.Witold A. Pogorzelski - 1968 - Journal of Symbolic Logic 33 (1):77-81.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Investigations into implicational s5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13‐17):203-220.
    Download  
     
    Export citation  
     
    Bookmark   8 citations