Switch to: Citations

Add references

You must login to add references.
  1. A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
    Download  
     
    Export citation  
     
    Bookmark   32 citations