An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus | Publicación