Strutture, logica, linguaggi