Symmetric Logic of Proofs (Q5452174)
From MaRDI portal
scientific article; zbMATH DE number 5252771
Language | Label | Description | Also known as |
---|---|---|---|
English | Symmetric Logic of Proofs |
scientific article; zbMATH DE number 5252771 |
Statements
Symmetric Logic of Proofs (English)
0 references
25 March 2008
0 references