Show all pages that mention second-order classes
Trace: • rectangular_bands • finite_monoids_with_zero • boolean_algebras_with_operators • first-order_formulas • fields • finite_ordered_semigroups_with_zero • topological_spaces • boolean_modules_over_a_relation_algebra • logics • second-order_classes