Categorical abstract algebraic logic: The largest theory system included in a theory family
From Tetherless World Wiki
| Categorical abstract algebraic logic: The largest theory system included in a theory family |
| Categorical abstract algebraic logic: The largest theory system included in a theory family |