Gödel and intuitionism
Mark van Atten
- Fonction : Auteur
- PersonId : 11478
- IdHAL : mark-van-atten
- ORCID : 0000-0002-8097-5531
- IdRef : 113308310
Format du dépôt | Notice |
---|---|
Type de dépôt | Chapitre d'ouvrage |
Titre |
it
Gödel and intuitionism
|
Auteur(s) |
Mark van Atten
1
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1342 )
- 13 Rue du four
75006 PARIS
- France
|
Vulgarisation |
Non
|
Langue du document |
Anglais
|
Date de production/écriture |
2005
|
Titre de l'ouvrage |
Constructivity and calculability
|
Audience |
Non spécifiée
|
Date de publication |
2009
|
Page/Identifiant |
31
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
Référence interne |
|
Mots-clés |
en
philosophy of science
|
Loading...