Introducción a la lógica - Mitchell, David (Nueva colección Labor, 1972)