Some remarks on axiomatizing logical consequence operations

From MaRDI portal
Publication:3592809