Describir: Introducción a la Lógica Simbólica /