Une preuve intuitionniste de l'argument de Diodore-Prior

Author(s)
Vidal-Rosset, Joseph
Date issued
2011
In
Travaux de logique, Centre de Recherches Sémiologiques (CdRS), Universités de Neuchâtel et Rennes, 2011/20//103-122
Publication type
journal article
Identifiers
https://libra.unine.ch/handle/20.500.14713/59404
File(s)
Loading...
Thumbnail Image
Download
Name

Vidal-Rosset_-_Une_preuve_intuitionniste_de_l_argument_de_Diodore-Prior_20130614.pdf

Type

Main Article

Size

458.69 KB

Format

Adobe PDF