Switch to: Citations

Add references

You must login to add references.
  1. Decision procedure and semantics for C1, E1 and S0. 5◦.R. Routley - 1968 - Logique Et Analyse 44:468-469.
    Download  
     
    Export citation  
     
    Bookmark   6 citations