Show all pages that mention first-order classes
Trace: • finite_ordered_semigroups • boolean_modules_over_a_relation_algebra • partially_ordered_semigroups • monoids • representable_lattice-ordered_groups • normal_bands • semigroups_with_zero • semigroups • logics • first-order_classes