m

Documents  Lorenzen, Paul | enregistrements trouvés : 2

O
     

-A +A

P Q

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 [+]

Z