Éditeur(s):
Editions Academia
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,...
16,00 €