AK Peters, Ltd. · Dunod · Oxford University Press
| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Colloquium 2000 | 978-1-56881-252-6 | 2005 | Rene Cori · France) Logic Colloquium (2000 Paris |
| Logique mathématique, tome 1: Calcul propositionnel, algèbre de Boole, calcul des prédicats | 978-2-10-005452-7 | 2003 | Daniel Lascar |
| 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: Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory: A Course with Exercises: Recursion Theory, Godel's Theorem, Set Theory and Model Theory Pt.2 | 978-0-19-850050-6 | 2001 | " |
| Mathematical Logic: Propositional Calculus, Booelan Algebras, Predicate Calculus, Completeness Theorems Pt.1: A Course with Exercises: Propositional Calculus, ... Calculus, Completeness Theorems Pt.1 | 978-0-19-850048-3 | 2000 | " |
R.C. · Ram Chary · René Char · Rino Cerio · Roane Carey · Ron Carey · Ron Cere · Ron Cherry · Ron Currie · Ronnie Carr · Rowena Cherry