Describir: Introducción moderna a la lógica /