The following pages link to (Q3964639):
Displayed 4 items.
- Definability in the substructure ordering of simple graphs (Q259729) (← links)
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- A field guide to equational logic (Q1201350) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)