An approach to Glivenko's theorem in algebraizable logics
scientific article; zbMATH DE number 5292849
scientific article