Introducción a la lógica - Mitchell, David (Nueva colección labor, 1974)