Leçon 924 : Théories et modèles en logique du premier ordre. Exemples.

(2016) 924

Dernier rapport du Jury :

Pas de rapport concernant cette leçon.

Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Les démonstrations et les algorithmes, Gilles Dowek (utilisée dans 3 versions au total)
Introduction à la logique, René David, Karim Nour, Christophe Raffalli (DNR) (utilisée dans 16 versions au total)
Logique mathématique Tome 1, René Cori, Daniel Lascar (utilisée dans 4 versions au total)
Logique mathématique Tome 2, René Cori, Daniel Lascar (utilisée dans 7 versions au total)