Pages that link to "Item:Q1185017"
From MaRDI portal
The following pages link to Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017):
Displayed 2 items.