Progetti | Logica, matematica