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