En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Schmidt, H. Arnold 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 555 p.
Cote : 00001626
décidabilité des théories et des ensembles de sentences # déduction # intuition # logique des propositions # logique des prédicats # logique déductive # logique mathématique # logique modale # mathématique intuitioniste # philosophie # table de vérité # épistémologie

03A05 ; 03B45 ; 03Bxx ; 03Cxx ; 03F55

Localisation : Collection 1er étage

Sélection Signaler une erreur

Filtrer

Auteurs
Référence
Codes MSC
Date de parution