Introduction aux calculs des séquents

Un manuel de logique moderne reprenant la méthode de calcul des séquents utilisée par le philosophe Joseph Dopp dans la démonstration de six systèmes logiques. Avec des exercices résolus, l'auteur analyse et détaille les théorèmes de l'implication, de la conjonction, de la disjonction, de la négation ou encore de la négation stricte.