Documents disponibles écrits par cet auteur

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori (2003)

Titre : Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Mathématiques ISBN/ISSN/EAN : 2-10-005452-x Catégories : algèbre de Boole logique des prédicats logique des propositions logique mathématique théorème de complétude Index. décimale : 517.11 Logique mathématique des propositions

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
111830	517.11/COR/l1	Ouvrage	Bibliothèque CERIA	Libre accès / Documentaires	Disponible

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori (2003)

Titre : Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Mathématiques ISBN/ISSN/EAN : 978-2-10-005453-4 Catégories : arithmétique logique mathématique récursivité théorèmes de Gödel théorie des ensembles théorie des modèles Index. décimale : 517.11 Logique mathématique des propositions

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
111196	517.11/COR/l2	Ouvrage	Bibliothèque CERIA	Libre accès / Documentaires	Disponible