Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS | Publicación