théorie des modèles
- 2015 La logique pas à pas.
Auteur : Duparc Jacques
- 2015 La logique.
Auteur : Dowek Gilles
- 2003 Sciences Sup. Logique mathématique. V. 2.
Auteurs : Cori René ; Lascar Daniel
- 2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
- 1997 L’aventure des nombres.
Auteur : Godefroy Gilles
- 1990 Systèmes, modèles, prévision.
Auteur : Destouches Jean-Louis
- 1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
- 1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques