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