Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Travaux
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Publications
René Cori et Daniel Lascar, Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats [détail des éditions]
René Cori et 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 [détail des éditions]
(en) René Cori, Daniel Lascar et Donald Pelletier, Mathematical Logic : A Course With Exercises : Part I : Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems, Paris, Oxford University Press, , 360 p. (ISBN978-0-19-850049-0)
(en) René Cori, Daniel Lascar et Donald Pelletier, Mathematical Logic : A Course With Exercises : Part II : Recursion Theory, Gödel's Theorems, Set Theory, Model Theory, Paris, Oxford University Press, , 352 p. (ISBN978-0-19-850051-3, lire en ligne)
(en) René Cori, Alexander Razborov, Stevo Todorčević et Carol Wood, Logic Colloquium 2000 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France, July 23-31, 2000, Paris, A K Peters, , 424 p. (ISBN978-1-56881-251-9)