Logique mathématique / René Cori

Public ISBD 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 (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup, ISSN 1636-2217 Importance : 385 p. Présentation : couv. ill. en coul., ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Bibliogr. p.361-363. Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Logique mathématique : 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats; cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris : Dunod, 2003 . - 385 p. : couv. ill. en coul., ill. ; 24 cm.. - (Sciences sup, ISSN 1636-2217) . ISBN : 978-2-10-005452-7 Bibliogr. p.361-363. Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
127940	04-07-1036	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

Logique mathématique / René Cori

Public ISBD Titre : Logique mathématique : Cours et exercices; 2- Fonctions récursives, théorème de GÉodel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. Mention d'édition : 2e tirage corrigé Editeur : Paris : Masson Année de publication : 1994 Collection : Axiomes, ISSN 1243-4264 Importance : 347 p. Présentation : couv. ill. en coul., ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-84080-7 Note générale : Bibliogr. p.323-325. Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique Logique mathématique : Cours et exercices; 2- Fonctions récursives, théorème de GÉodel, théorie des ensembles, théorie des modèles [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc.  . -  2e tirage corrigé . - Paris : Masson, 1994 . - 347 p. : couv. ill. en coul., ill. ; 24 cm.. - (Axiomes, ISSN 1243-4264) . ISBN : 978-2-225-84080-7 Bibliogr. p.323-325. Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62920	04-07-25	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

---

1 (1 - 2 / 2) Par page : 25 50 100 200