Introduction.- Propositional Annotated Logics P.- Predicate Annotated Logics Q.- Formal Issues.- Variants and Related Systems.- Applications.- Conclusions.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.