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...
Salvato in:
| Autori principali: | , , |
|---|---|
| Altri autori: | , |
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Malakoff :
Dunod
DL 2025.
|
| Edizione: | 3e édition. |
| Serie: | Sciences sup
|
| Soggetti: | |
| Nota: |
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 |
INSA CVL Bourges
| Localizzazione | Collocazione | Type de prêt | Status | |
|---|---|---|---|---|
| Mathématiques | 511.3 DAV |
Emprunté
Scadere: 03/11/2026 Prenota |
Orléans - BU Sciences Technologies STAPS
| Localizzazione | Collocazione | Type de prêt | Status | |
|---|---|---|---|---|
| Mathématiques, 1er étage | 511.3 DAV | Disponibile | ||
| Mathématiques, 1er étage | 511.3 DAV | Disponibile |