1.3.3 Une logique en tant que théorie de la vérité : la sémantique......7. 1.3.4
Liens entre preuves ...... Si ce livre fait suite à l'ouvrage Introduction Pratique aux.
Logiques ... logiques multivaluées, les logiques floues, puis les logiques
modales ... logique ou à un mode de raisonnement est suivi d'exercices, dont les
corrigés ... 
