Communication Dans Un Congrès
Année : 2006
Mark Van Atten : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-00791541
Soumis le : jeudi 21 février 2013-14:00:01
Dernière modification le : vendredi 24 mars 2023-14:52:56
Dates et versions
Identifiants
- HAL Id : halshs-00791541 , version 1
Citer
Mark van Atten. Gödel's legacy in intuitionism. Logic Colloquium 2006 (ASL), Aug 2006, Nijmegen, Netherlands. ⟨halshs-00791541⟩
Collections
60
Consultations
0
Téléchargements