Catalogue Des Ouvrages
Détail de l'auteur
Auteur Jean-Louis Krivine |
Documents disponibles écrits par cet auteur (4)
Affiner la rechercheLogique mathématique. vol.1, calcul propositionnel, algèbre de boole, calcul des prédicats / René Cori
Titre : Logique mathématique. vol.1, 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 ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 385p. Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Index. Langues : Français (fre) Catégories : Mathématiques Tags : Mathématique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=47751 Logique mathématique. vol.1, calcul propositionnel, algèbre de boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2003 . - 385p. : couv. ill. ; 24 cm. - (Sciences SUP) .
ISBN : 978-2-10-005452-7
Index.
Langues : Français (fre)
Catégories : Mathématiques Tags : Mathématique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=47751 Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité S8/69922/I S8/69922/I Livre Bibliothèque principale indéterminé Disponible S8/69923/I S8/69923/I Livre Bibliothèque principale indéterminé Disponible S8/69924/I S8/69924/I Livre Bibliothèque principale indéterminé Disponible S8/69925/I S8/69925/I Livre Bibliothèque principale indéterminé Disponible S8/71311/I S8/71311/I Livre Bibliothèque principale indéterminé Disponible S8/71312/I S8/71312/I Livre Bibliothèque principale indéterminé Disponible S8/71313/I S8/71313/I Livre Bibliothèque principale indéterminé Disponible S8/71314/I S8/71314/I Livre Bibliothèque principale indéterminé Disponible
Titre : Logique mathématique.vol.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 ; Daniel Lascar ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 347p. Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005453-4 Note générale : Index. Langues : Français (fre) Catégories : Mathématiques Tags : Mathématique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=47750 Logique mathématique.vol.2, fonctions récursives, théorème de gِdel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2003 . - 347p. : couv. ill. ; 24 cm. - (Sciences SUP) .
ISBN : 978-2-10-005453-4
Index.
Langues : Français (fre)
Catégories : Mathématiques Tags : Mathématique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=47750 Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité S8/71311/II S8/71311/II Livre Bibliothèque principale indéterminé Disponible S8/71312/II S8/71312/II Livre Bibliothèque principale indéterminé Disponible S8/71313/II S8/71313/II Livre Bibliothèque principale indéterminé Disponible S8/71314/II S8/71314/II Livre Bibliothèque principale indéterminé Disponible S8/74948 S8/74948 Livre Bibliothèque principale indéterminé Disponible S8/74949 S8/74949 Livre Bibliothèque principale indéterminé Disponible S8/80319/II S8/80319/II Livre Bibliothèque principale indéterminé Disponible S8/80320/II S8/80320/II Livre Bibliothèque principale indéterminé Disponible
Titre : Logique mathématique.vol.2, fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : XV-347p. Présentation : couv.ill.en coul. Format : 24 cm Note générale : Bibliogr.Index p.337-347. Langues : Français (fre) Catégories : Mathématiques Tags : Logique mathématique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=47757 Logique mathématique.vol.2, fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2003 . - XV-347p. : couv.ill.en coul. ; 24 cm. - (Sciences SUP) .
Bibliogr.Index p.337-347.
Langues : Français (fre)
Catégories : Mathématiques Tags : Logique mathématique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=47757 Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité S8/69927/II S8/69927/II Livre Bibliothèque principale indéterminé Disponible S8/69928/II S8/69928/II Livre Bibliothèque principale indéterminé Disponible S8/69929/II S8/69929/II Livre Bibliothèque principale indéterminé Disponible S8/69930/II S8/69930/II Livre Bibliothèque principale indéterminé Disponible
Titre : Théorie axiomatique des ensembles Type de document : texte imprimé Auteurs : Jean-Louis Krivine Editeur : Paris : PUF Année de publication : 1972 Collection : . Importance : 144p. Format : 18 cm Note générale : Bibliogr. Langues : Français (fre) Catégories : Mathématiques Tags : Ensemble théorie axiomatique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=46701 Théorie axiomatique des ensembles [texte imprimé] / Jean-Louis Krivine . - Paris : PUF, 1972 . - 144p. ; 18 cm. - (.) .
Bibliogr.
Langues : Français (fre)
Catégories : Mathématiques Tags : Ensemble théorie axiomatique Index. décimale : 509 Mathématiques Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=46701 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité SC12/353 SC12/353 Livre Bibliothèque principale indéterminé Disponible
