Elementos de lógica formal - Badesa, Calixto (Ariel, 1998)