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