Teoria de Categorias: uma semântica categorial para linguagens proposicionais | Publicación