Aula 37
12 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia
Conclusion of the proof of Birkhoff Theorem: a class of algebras of the same type is a variety iff it is an equational class.
12 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia
Conclusion of the proof of Birkhoff Theorem: a class of algebras of the same type is a variety iff it is an equational class.