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 Boudeaud, R. 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 276 p.
Cote : 00018219
calcul des propositions # calcul des prédicats # langage mathématique # logique mathématique axiomatique # logique mathématique non axiomatique # quantificateur fini ou relatif # relativité des langages # syntaxe et sémantique # théorie des langages # théorie quantifiée # théorie égalitaire

03Bxx ; 68Qxx ; 68SXX

Localisation : Ouvrage RdC (BOUD)

Sélection Signaler une erreur

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Close