Show all pages that mention second-order classes
Trace: • finite_commutative_binars_with_zero • finite_binars_with_identity_and_zero • nonassociative_algebra • boolean_groups • first-order_formulas • finite_monoids_with_zero • residual_size • finite_ordered_semigroups_with_zero • second-order_classes