Séance de cours

Logique des prédicats : Introduction et équivalences