Introducción a la lógica - Mitchel, David (Labor, 1968)