Logique pour l'informatique, Serenella Cerrito · Super Livre