Communication Dans Un Congrès
Année : 2010
Andrei Rodin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00588199
Soumis le : vendredi 22 avril 2011-14:28:34
Dernière modification le : vendredi 22 avril 2011-14:28:34
Dates et versions
Identifiants
- HAL Id : hal-00588199 , version 1
Citer
Andrew Arana. The complexity of pure and impure proof. Philosophy of Mathematics Colloquium, IHPST, Apr 2010, Paris, France. ⟨hal-00588199⟩
Collections
37
Consultations
0
Téléchargements