Describir: Historia de la Lógica Formal /