Stav dette: Historia de la lógica formal /