On the relative efficiency of different systems for classical and nonclassical propositional logics

From MaRDI portal
(Redirected from Publication:2455258)