Lien vers le site de l'ENS
ÉCOLE NORMALE SUPÉRIEUREPARIS
Lien vers l'accueil
lancer la recherche

» Conférences d’après mars 2011 : nouveau site

ARCHIVES
2529

L’héritage scientifique de Jacques Herbrand

< précédent | suivant >

Herbrand’s Theorem and Extractive Proof Theory
Ulrich Kohlenbach (Darmstadt)

15 février 2008

Écouter
pictogrammeformat audio mp3 - 55.86 Mo
- Visualiser
- Télécharger
pictogrammeformat quicktime mov, vidéo à la demande / streaming
Ulrich Kohlenbach Ulrich Kohlenbach (Darmstadt)

En savoir plus

Autres conférences

en histoire et philosophie des sciences

en mathématiques