LOGICA E INFORMATICA JURIDICA