Describir: Una introducción matemática a la lógica