Logique mathématique. Tome 1, calcul propositionnel, algèbre de Boole, calcul des prédicats / René Cori (2003)

Titre : Logique mathématique. Tome 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 : Sciences Sup, ISSN 1636-2217 Importance : XV-385 p. Présentation : Broché. Couv.ill.en coul., tabl. Format : 26 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Français (fre) Catégories : (02.10) Logique, theorie des ensembles et algebre, theorie des groupes Mots-clés : Logic mathematical Index. décimale : 02.10 Résumé : I Propositional calculus - 2 Bolean algebras - 3 Predicate calculus - 4 Completeness theorems

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003050	02.10.COR	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

Logique mathématique. Tome 2, fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles / René Cori (2003)

Titre : Logique mathématique. Tome 2, fonctions récursives, théorème de Godel, 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 : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. Présentation : Broché. Couv.ill.en coul., tabl. Format : 26 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Français (fre) Catégories : (02.10) Logique, theorie des ensembles et algebre, theorie des groupes Mots-clés : Logic mathematical Index. décimale : 02.10 Résumé : V - Récursivité - VI Formalisation de l'arithmétique, théorèmes de Gödel - VII Théorie des ensembles - VIII Un peu de théorie des modèles

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003051	02.10.COR	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

---

1 (1 - 2 / 2) Par page : 100