| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| La théorie des modèles en peu de maux | 978-2-84225-137-6 | 2009 | ||
| Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996 | 978-3-540-64668-6 | 1998 | Jesus M. Larrazabal · Grigori Mints | |
| Logique mathématique, tome 1: Calcul propositionnel, algèbre de Boole, calcul des prédicats | 978-2-10-005452-7 | 2003 | René Cori | |
| Logique mathématique, tome 2: Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles | 978-2-10-005453-4 | 2003 | " | |
| Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel's Theorems, Set Theory, Model Theory: Recursion Theory, Godel's Theorem, Set Theory and Model Theory Pt.2 | 978-0-19-850050-6 | 2001 | Rene Cori · Ren? Cori | |
| Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus: A Course with Exercises | 978-0-19-850048-3 | 2000 | Rene Cori | |
Cassini · Dunod · Oxford University Press · Springer