Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Suggerer acquisition Affiner la recherche
Monographie imprimée
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris [France] : Dunod | Sciences sup, ISSN 1636-2217 | 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[...]
Monographie imprimée
Jean-Louis Krivine, Auteur | Paris [France] : Cassini | Nouvelle bibliothèque mathématique, ISSN 1281-4393 | 2007Née il y a un siècle de l'esprit de Cantor, la théorie des ensembles fascine toujours les mathématiciens. En leur offrant un cadre axiomatique universel, elle témoigne de l'unité profonde des mathématiques. Ce livre expose les bases d'une théo[...]
