Résumé : Ces notes de révision sont consacrées à la leçon 918 « Systèmes formels de preuve en logique du premier ordre. Exemples. » de l'agrégation de mathématiques, option D, session 2019.
https://cel.archives-ouvertes.fr/cel-01903833 Contributor : Sylvain SchmitzConnect in order to contact the contributor Submitted on : Wednesday, October 24, 2018 - 4:27:25 PM Last modification on : Friday, April 30, 2021 - 9:53:22 AM
Sylvain Schmitz. Systèmes de preuve : Notes de révision pour l'agrégation. Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018. ⟨cel-01903833⟩