The complexity of pure and impure proof

Communication dans un congrès Année : 2010

(1)

1

Andrew Arana

Philosophie

Liste complète des métadonnées

Format du dépôt	Notice
Type de dépôt	Communication dans un congrès
Titre	en The complexity of pure and impure proof
Auteur(s)	Andrew Arana ¹ 1 Philosophy Department ( 153250 ) - États-Unis Kansas State University ( 365659 )
Vulgarisation	Non
Comité de lecture	Oui
Actes	Non
Invité	Non
Langue du document	Anglais
Audience	Non spécifiée
Titre du congrès	Philosophy of Mathematics Colloquium, IHPST
Date début congrès	2010-04-09
Ville	Paris
Pays	France
Domaine(s)	Sciences de l'Homme et Société/Philosophie

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

hal-00588199, version 1 (22-04-2011)

Andrew Arana. The complexity of pure and impure proof. Philosophy of Mathematics Colloquium, IHPST, Apr 2010, Paris, France. ⟨hal-00588199⟩

LPHSAHP IP HIPHISCITECH

37 Consultations

0 Téléchargements

Dernière date de mise à jour le 28/04/2024