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