Elementos de lógica - Barker, Stephen Francis (McGraw-Hill, 1991)