Badesa, Calixto; Jané, Ignacio; Jansana, Ramon Elementos de lógica formal - Barcelona, España : Editorial Ariel, 1998 - 334 p. ISBN: 84-344-8748-9