GEOTRUST SSL CERTIFICATE
Titre : | Multi-valued logics |
Titre de série : | Journal of applied non-classical logics, 9 |
Auteurs : | Walter Carnielli, Éditeur scientifique |
Type de document : | texte imprimé |
Editeur : | Paris : Hermès science publications, 1999 |
ISBN/ISSN/EAN : | 978-2-86601-745-3 |
Format : | 186 p. / 24 x 16 cm |
Note générale : |
Bibliogr. |
Langues: | Français |
Index. décimale : | 511 (Logique mathématique, Jeux mathématiques) |
Mots-clés: | logique multivalente ; logique mathématique non classique |
Résumé : |
Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |