Describir: História de la lógica formal