Behavioral algebraization of logics
scientific article; zbMATH DE number 5529413
scientific article