René Cori Biographie Professeur à l'université Paris 7-Denis-Diderot Contributions de René Cori Auteur Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats, Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés Daniel Lascar, René Cori Dunod 1, Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats, Calcul propositionnel, algèbre de Boole, calcul des prédicats Daniel Lascar, René Cori Dunod 46,00 Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles, Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Daniel Lascar, René Cori Dunod 2, Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles, T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles Daniel Lascar, René Cori Dunod 45,00