Eléments de logique pour l’informatique
2020–21
http://www.lri.fr/~paulin/Logique
Conclusion