Arborescence indexicale, principe d’induction et barre dialogique
- Type de publication : Chapitre d’ouvrage
- Ouvrage : L’Intuitionnisme dialogique. Une lecture iconoclaste de l’iconoclasme de Brouwer
- Pages : 265 à 310
- Collection : Histoire et philosophie des sciences, n° 29