Ła logica moderna ła xe divisa in teoria ricorsiva, teoria dei modełi e teoria deła dimostrasión, e ła xe stretamente legada a l’informatica teorica e anca ała teoria dełe categorie.