Introduction A La Logique : Theorie De La Demonstration (3e Edition)
Rene David-Karim Nour-Christophe Raffalli
français | 10-09-2025 | 400 pages
9782100840601
Livre
38,20€
à paraître, disponible à partir du 10/09/2025
Disponibilité
Commandez en ligne
Récupérez votre commande en magasin
Brève description / annotation
Formules et démonstrations de la Logique du premier ordre. Complétude de la logique du premier ordre. Exemples de théories. Logique intuitionniste et modèle de Kripke. Calcul des sécants. Logiques d'ordre supérieur. Démonstration automatique. Le logiciel PhoX. Solutions des exercices. Index
Détails
| Code EAN : | 9782100840601 |
| Editeur : | Dunod |
| Date de publication : | 10-09-2025 |
| Format : | Livre |
| Langue(s) : | français |
| Hauteur : | 240 mm |
| Largeur : | 170 mm |
| Epaisseur : | 19 mm |
| Poids : | 598 gr |
| Stock : | à paraître |
| Nombre de pages : | 400 |
| Collection : | Sciences Sup |