Accueil > Lauréats > Lauréats 2010 > Per MARTIN-LÖF

Per MARTIN-LÖF

Per MARTIN-LÖF , suédois, figure majeure de la logique mathématique moderne. Ecole normale supérieure et Université de Paris 1.