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 2025
Paru le : 16/04/2010
Thématique : Logique
Auteur(s) : Auteur : Jean-Pierre Desclés Auteur : Brahim Djioua Auteur : Florence Le Priol
Éditeur(s) :
Hermann
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : 978-2-7056-6925-6
EAN13 : 9782705669256
Reliure : Broché
Hauteur: 22.0 cm / Largeur 16.0 cm
Épaisseur: 1.8 cm
Poids: 313 g
Carte fidélité
Mollat Radio
