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