Gerer mes favoris
q
Congrès
Cote : M/A1(873) ISBN/ISSN : 3-540-10850-5
démonstration ; mathématique constructive ; métamathématique
... Lire [+]
Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.
4
Monographie
Cote : BRIDGES v ISBN/ISSN : 0-521-31802-5
algèbre constructive ; analyse constructive ; fondement des mathématiques ; intuitionisme ; topose
