Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS | Publicación