Détail de l'auteur
Auteur Daniel Lascar |
Documents disponibles écrits par cet auteur (1)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche
texte imprimé
Domaine 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, [...]