m

Documents  Boudeaud, R. | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 276 p.

Localisation : Ouvrage RdC (BOUD)

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

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z