Show all pages that mention second-order classes
Trace: • boolean_monoids • equivalence_algebras • first-order_classes • finite_semigroups_with_zero • commutative_ordered_monoids • peirce_algebras • finite_commutative_ordered_semigroups • directed_complete_partial_orders • syntax • second-order_classes