Proof Systems for Effectively Propositional Logic | Publicación