Show all pages that mention second-order classes
Trace: • 2-element_boolean_algebra • logics • vector_spaces • boolean_modules_over_a_relation_algebra • second-order_classes