Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 166 p.
Mathématiques et sciences de l'homme , 0006
Localisation : Ouvrage RdC (LORE)
métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité
03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25
... Lire [+]
