attività di ricerca in logica