Description
Présentation de la méthode de la déduction naturelle de A. Gentzen (1934) qui permet de faire comprendre le rôle des constantes logiques, de la négation ainsi que des mots de la langue naturelle tels que : ou, si, alors, tous, quelques, aucun. Le CD-ROM permet de résoudre les exercices proposés dans l’ouvrage. ©Electre 2026
Avis
Il n’y a pas encore d’avis.