  |
Girard, Jean-Yves - http://iml.univ-mrs.fr/~girard/
Articles et cours de théorie de la démonstration. |
| |
Dehornoy, Patrick - http://www.math.unicaen.fr/~dehornoy/
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses. |
| |
Ruet, Paul - http://iml.univ-mrs.fr/~ruet/
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique. |
| |
Blossier, Thomas - http://math.univ-lyon1.fr/~blossier/
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité. |
| |
Rambaud, Alexandre - http://www.logique.jussieu.fr/www.rambaud/
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité. |
| |
Logique et programmation - http://www.lsv.ens-cachan.fr/~goubault/cours.html
Quelques notes de cours: démonstration automatique, logique informatique, complexité. |
| |
Logique et théorie des ensembles - http://spoirier.lautre.net/logique.htm
Introduction aux fondements des mathématiques, et présentation détaillée d'une théorie naïve des ensembles non traditionnelle. |
| |
Qu'est-ce que la théorie des modèles - http://math.univ-angers.fr/~darniere/ThMod.html
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. |
| |
Théorie des ensembles - http://spoirier.lautre.net/leroy/
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie. |
| |
La logique et ses paradoxes - http://ysagnier.free.fr/science/logique.htm
Introduction aux paradoxes ensemblistes et au théorème de Gödel. |