Détail de la série
Logique mathématique |
Documents disponibles dans cette série (1)



![]()
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[...]