Les notes de cours qui sont en préparation continue sont ci-dessous. A la fin, vous trouverez une bibliographie, elle aussi en pleine évolution, qui contient en particulier la liste de certains livres qui peuvent vous être utiles.
Tout est là. Deux exercices ont été ajoutés. (24-12-2009). La preuve du théorème 3.3 comporte une erreur. Merci à Franckyboy de me l'avoir signalé et expliqué.
Les notes se concentrent sur le cours. Pour des ressources plus générales, cliquez ici, ou visitez directement les pages des membres du thème logique de l'Institut Camille Jordan.
Voici quelques liens vers des pages webs pertinentes pour ce cours. Evidemment, cette liste est loin d'être complète et peut à tout moment évoluer. Le périple est infini.
Andreas Baudisch
Alexandre Borovik
Martin Bridson
Jeffrey Burdges
Gregory Cherlin
Eric Jaligot
Dugald Macpherson
Alexey Muranov
Abderezak Ould Houcine
Anand Pillay
Bruno Poizat
Zlil Sela
Frank Wagner
John S. Wilson
Henry Wilton
Boris Zilber