Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.


Trace: • finite_commutative_semigroups • abelian_lattice-ordered_groups • commutative_inverse_semigroups • complete_distributive_lattices • involutive_residuated_lattices • monoidal_t-norm_logic_algebras • commutative_rings_with_identity • definable_principal_congruences • finite_integral_ordered_monoids • lukasiewicz_algebras_of_order_n

QR Code
QR Code first-order_classes - Old revisions (generated for current page)