Logique A1415 Année2 Semestre1 5.2October 16, 2014MiscellaneousPremiers théorèmes de logique des prédicats.