La Matematica nel secondo ciclo: la Logica