A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Ren Cori
Documents disponibles écrits par cet auteur
Affiner la rechercheLogique mathématique 2 / Ren Cori
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é Type de document : texte imprimé Auteurs : Ren Cori ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. Mention d'édition : Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : XV-349 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 2-10-005453-8 Note générale : Bibliogr. p. 363-365. Index
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) 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é [texte imprimé] / Ren Cori ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. . - . - Paris : Dunod, 2003 . - XV-349 p. : ill. ; 24 cm. - (Sciences sup) .
ISBN : 2-10-005453-8
Bibliogr. p. 363-365. Index
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 COR B Mathématiques Biblio-FSO s26401 Disponible s26401 511.3 COR B Mathématiques Biblio-FSO 000000250705 Disponible s25714 511.3 COR B Mathématiques Biblio-FSO 000001727405 Disponible s25715 511.3 COR B Mathématiques Biblio-FSO 000001727305 Disponible s25716 511.3 COR B Mathématiques Biblio-FSO 000000250505 Disponible s25712 511.3 COR B Mathématiques Biblio-FSO 000000250605 Disponible s25713 511.3 COR B Mathématiques Biblio-FSO 000001727205 Disponible s25553 511.3 COR B Mathématiques Biblio-FSO 000001727605 Disponible s25554 511.3 COR B Mathématiques Biblio-FSO 000001727105 Disponible s25552
Titre : Logique mathématique.Tome 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : Ren Cori, Auteur ; Daniel Lascar, Auteur Mention d'édition : Editeur : Paris : Dunod Année de publication : 2003 Importance : 385p Format : 24*17cm ISBN/ISSN/EAN : 2-10-005452-X Langues : (fr) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique:Application de l'informatique:Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Logique mathématique.Tome 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats [texte imprimé] / Ren Cori, Auteur ; Daniel Lascar, Auteur . - . - Paris : Dunod, 2003 . - 385p ; 24*17cm.
ISBN : 2-10-005452-X
Langues : (fr)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique:Application de l'informatique:Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 006.3 COR Mathématiques Biblio-FPN fpn1006.5 Disponible FPN.S632 006.3 COR Mathématiques Biblio-FPN fpn1006.6 Disponible FPN.S849
Titre : Logique mathématique : Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : Ren Cori ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : XV-385 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Bibliogr. p. 361-363. Index
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Logique mathématique : Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / Ren Cori ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2003 . - XV-385 p. : ill. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-005452-7
Bibliogr. p. 361-363. Index
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 CRL Mathématiques Biblio-FPN 000000673308 Disponible 133/7 511.3 CRL Mathématiques Biblio-FPN 000000672808 Disponible 133/6 511.3 CRL Mathématiques Biblio-FPN 000000673408 Disponible 133/4 511.3 CRL Mathématiques Biblio-FPN 000000672908 Disponible 133/2 511.3 CRL Mathématiques Biblio-FPN 000000673008 Disponible 133/1 511.3 CRL Mathématiques Biblio-FPN 000000673108 Disponible 133/5 511.3 CRL Mathématiques Biblio-FPN 000000673208 Disponible 133/3 511.3 CRL Mathématiques Biblio-FPN 000001278608 Disponible S632 511.3 CRL Mathématiques Biblio-FPN 000001278508 Disponible S849 511.3 COR A Mathématiques Biblio-FSO 000001727505 Disponible s28565
