Topological representation for implication algebras | Publicación