Logique mathématique Tome 1

René Cori, Daniel Lascar

Utilisée dans les 0 développements suivants :


Utilisée dans les 2 leçons suivantes :

924 (2021) Théories et modèles en logique du premier ordre. Exemples.
28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

Utilisée dans les 0 versions de développements suivants :


Utilisée dans les 4 versions de leçons suivantes :