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):
Displaying 3 items.