Du Pourquoi au Comment: la Théorie de la Démonstration de 1950 à nos Jours

Development of Mathematics, 1950–2000 ◽

10.1007/978-3-0348-8968-1_17 ◽

2000 ◽

pp. 515-545 ◽

Author(s):

Jean-Yves Girard

Download Full-text