The following pages link to (Q3607784):
Displaying 6 items.
- Data types over multiple-valued logics (Q752687) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- (Q3369100) (← links)
- (Q4450439) (← links)
- Some varieties of algebraic systems of type ((n),(m)) (Q4621400) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)