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