Faculté des lettres et sciences humaines

Une preuve intuitionniste de l'argument de Diodore-Prior

Vidal-Rosset, Joseph

In: Travaux de logique, 2011, vol. 20, p. 103-122

Ajouter à la liste personnelle