Semantical Models for Intuitionistic Logics | Publicación