Options
Une preuve intuitionniste de l'argument de Diodore-Prior
Auteur(s)
Vidal-Rosset, Joseph
Date de parution
2011
In
Travaux de logique, Centre de Recherches Sémiologiques (CdRS), Universités de Neuchâtel et Rennes, 2011/20//103-122
Identifiants
Type de publication
journal article
