Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties
From Tetherless World Wiki
| Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties |
| Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties |