Composition-nominative logics as institutions
scientific article; zbMATH DE number 6913954
scientific article