Chapitre D'ouvrage
Année : 2009
Mark Van Atten : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-00792145
Soumis le : jeudi 21 février 2013-14:02:17
Dernière modification le : vendredi 24 mars 2023-14:52:56
Dates et versions
Identifiants
- HAL Id : halshs-00792145 , version 1
Citer
Mark van Atten. Gödel and intuitionism. Bourdeau, Michel, Dubucs, Jacques,. Constructivity and calculability, Springer, pp.31, 2009. ⟨halshs-00792145⟩
Collections
32
Consultations
0
Téléchargements