Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Livre
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2005, cop. 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[...]
