J. L. Krivine - A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court)
Conférences | 16 views | 2019-01-25
Une conférence de Jean-Luc Krivine A l'occasion du départ à la retraite de René Cori, le projet Logique de l'IMJ-PRG, l'IREM et la Fédération de Recherche en Mathématiques de Paris Centre ont le plaisir de vous inviter à une après-midi d'exposés ...