Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 297 p.
Grundlehren der mathematischen wissenschaften , 0078
Localisation : Collection 1er étage
arithmétique # logique des langages # logique des propositions # logique mathématique # opérateur logique
03B35 ; 03Bxx
... Lire [+]
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 [+]
