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