Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic

From MaRDI portal
Publication:1577480