Proof functional connectives | Publicación