Journal of applied non-classical logics, n° 9 Multi-valued logics

Journal of applied non-classical logics, n° 9 Multi-valued logics

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.

Détails du livre

Vous aimerez aussi