A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Jean-Louis Krivine
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 : Théorie des ensembles Type de document : texte imprimé Auteurs : Jean-Louis Krivine, Auteur Mention d'édition : 2ème éd. Editeur : Paris : Cassini Année de publication : 2007 Collection : Nouvelle bibliothèque mathématique, ISSN 1281-4393 Importance : 271 p. Présentation : couv. ill. en coul. Format : 24cm ISBN/ISSN/EAN : 2-84225-096-6 Prix : 40 EUR. Note générale : Bibliogr. p. 259-261. Index Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : théorie des ensembles théorie axiomatique des ensembles Index. décimale : 511.3 Logique symbolique (mathématique) Théorie des ensembles [texte imprimé] / Jean-Louis Krivine, Auteur . - 2ème éd. . - Paris : Cassini, 2007 . - 271 p. : couv. ill. en coul. ; 24cm. - (Nouvelle bibliothèque mathématique, ISSN 1281-4393) .
ISBN : 2-84225-096-6 : 40 EUR.
Bibliogr. p. 259-261. Index
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : théorie des ensembles théorie axiomatique des ensembles Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 KRI Mathématiques Biblio-FSO 000001720705 Disponible s30391 511.3 KRI Mathématiques Biblio-FSO 000001720905 Disponible s30390 511.3 KRI Mathématiques Biblio-FSO 000001720605 Disponible s30389 511.3 KRI Mathématiques Biblio-FSO 000001720805 Disponible s33927 511.3 KRI Mathématiques Biblio-FSO s33926 Disponible s33926
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
