Journal of applied non-classical logics, n° 9 multi-valued logics
Par : Carnielli
Editeur : Lavoisier-Hermès
Numéro de produit : 9782746233195
ISBN : 9782746233195
85,95 $
Les livres numériques seront disponibles pour télécharger dès votre paiement effectué.
* Prix en dollar canadien. Taxes et livraison en sus.
Retour à la liste des produits
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.
