Recherche
Plus d'un million de livres référencés
Logique et langage : déduction naturelle

Logique et langage : déduction naturelle

Auteur(s) : Jean-Pierre Desclés, Brahim Djioua, Florence Le Priol

Editeur : 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ésoudre les exercices proposés dans l'ouvrage.

28,50 €
Vendeur : Amazon
Parution :
ISBN : 978-2-7056-6925-6
Donnez votre avis