Sto prendendo una laurea triennale in Ingegneria Informatica, nella magistrale vorrei approfondire gli aspetti di informatica teorica, soprattutto logica e teoria dei linguaggi. Qual è secondo voi in...