FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3

From MaRDI portal
Publication:6067743