Chargement...
Chargement...
Auteur Desclés, Jean-Pierre
Auteur

Support

Série

Disponibilité

1
Logique et langage : déduction naturelle : avec exercices interactifs et animés (logiciel Logic)

Logique et langage : déduction naturelle : avec exercices interactifs et animés (logiciel Logic)

Auteur : Jean-Pierre Desclés
Éditeur(s): Hermann
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és...
35,00 €
Chargement...
1