The following pages link to (Q5648354):
Displaying 6 items.
- A field guide to equational logic (Q1201350) (← links)
- Complexity classes of partial recursive functions (Q1221487) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- The combinatorial degrees of proofs and equations (Q1918969) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Finitely generated permutative varieties. (Q2391163) (← links)
