Elementos de lógica - Barker, Stephen F. (McGraw-Hill Interamericana, 1991)