Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados - Ramirez del Castillo, Carlos (1994)