Détail de l'auteur
Auteur Jean-Louis Krivine |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63936 Livre Bibliothèque centrale Disponible S8/63937 Livre Bibliothèque centrale Disponible S8/63938 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/63936-63941 Livre Bibliothèque centrale Disponible texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63939 Livre Bibliothèque centrale Disponible S8/63940 Livre Bibliothèque centrale Disponible S8/63941 Livre Bibliothèque centrale Disponible
Accueil