Elementos de lógica formal - Badesa, Calixto (Filosofía, 2003)