Equational logic and theories in sentential languages
Volume 29 / 1974
Colloquium Mathematicum 29 (1974), 19-23
DOI: 10.4064/cm-29-1-19-23