Elementos de lógica formal - Badesa, Calixto (Ariel filosofía, 2007)