Sciweavers

MLQ
2007

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

13 years 11 months ago
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
George Voutsadakis
Added 27 Dec 2010
Updated 27 Dec 2010
Type Journal
Year 2007
Where MLQ
Authors George Voutsadakis
Comments (0)