Switch to: Citations

Add references

You must login to add references.
  1. Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems.R. Routley - 1970 - Mathematical Logic Quarterly 16 (2):165-174.