On the Algebraization of Some Gentzen Systems1 | Publicación