 |
 |
 |
Lectures
Systèmes de preuve : Notes de révision pour l'agrégation
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.
Cited literature [13 references]
https://cel.archives-ouvertes.fr/cel-01903833
Contributor : Sylvain Schmitz <>
Submitted on : Wednesday, October 24, 2018 - 4:27:25 PM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM
Contributor : Sylvain Schmitz <>
Submitted on : Wednesday, October 24, 2018 - 4:27:25 PM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM
File
918.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License