Logique pour l'informatique — Serenella Cerrito