Unified inverse correspondence for DLE-Logics

From MaRDI portal
Publication:6393952