Formule logiques, jeux et protocoles réseau

Une relation remarquable entre une notion fondamentale de logique - celle de formule du calcul des prédicats - et la spécification de protocoles réseau.