Introduccion a la lógica - MITCHELL, David (Labor, 1972)