Closed sets of universal Horn formulas for many-sorted (partial) algebras

Publishing house / Banach Center Publications / All volumes

Peter Burmeister Banach Center Publications 21 (1988), 129-143 DOI: 10.4064/-21-1-129-143