Introduction à la logique : théorie de la démonstration
Cet ouvrage, révisé pour cette troisième édition, est un cours introductif à la logique mathématique, et en particulier à la théorie de la démonstration. Il s intéresse, du point de vue du mathématicien, aux questions : "Qu est-ce qu un énoncé ? une démonstration ? " ou, plus fondamentalem...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Livre papier |
| Γλώσσα: | Français |
| Έκδοση: |
Malakoff :
Dunod
DL 2025.
|
| Έκδοση: | 3e édition. |
| Σειρά: | Sciences sup
|
| Θέματα: | |
| Σημείωση: |
La couverture porte en plus : "Cours, 190 exercices corrigés" |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Introduction à la logique, théorie de la démonstration, [cours, 190 exercices corrigés], René David, Karim Nour, Christophe Raffalli, 2025, Malakoff, Dunod, 978-21-0089-042-2 |