Show all pages that mention second-order classes
Trace: • ordered_rings • strong_amalgamation_property • trees • boolean_modules_over_a_relation_algebra • second-order_classes