Show all pages that mention first-order classes
Trace: • vector_spaces • distributive_lattice_ordered_semigroups • fields • finite_integral_ordered_monoids • quasi-mv-algebra • kleene_logic_algebras • ordered_abelian_groups • brouwerian_semilattices • idempotent_semirings_with_identity • first-order_classes