Equivalence between semantics for intuitionism. I | Publicación