| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Colloquium 2000 | 978-1-108-75603-7 | 2020 | Alexander Razborov · Stevo Todorčević · Carol Wood |
| Logic Colloquium 2000 : Lecture Notes in Logic, 19 | 978-1-56881-252-6 | 2005 | Rene Cori · Alexander Razborov · Stevo Todorcevic · Carol Wood |
| 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 1: Propositional Calculus, Boolean Algebras & Predicate Calculus: A Course with Exercises | 978-0-19-850048-3 | 2000 | Rene Cori |
| 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 | " |
R. C. · Ram Chary · Ramya Chari · Remeay Carr · Rémi Carré · Ren' Carr' · Ren? Cori · Rene Carre · René Char · Rene Coyra · Renée Cyr · Rino Cerio · Roane Carey · Ron Carey · Ron Carr · Ron Cere · Ron Cherry · Ron Crow · Ron Currie · Ronnie Carr · Rowena Cherry · Ryan Carrie · Ryanne Corey
A K Peters/CRC Press · Cambridge University Press · Dunod · Oxford University Press