Nantilus
Introduction à la logique : théorie de la démonstration cours et exercices corrigés
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie du livre trai...
Saved in:
| Main Authors : | , , |
|---|---|
| Other Authors : | |
| Format : | Book |
| Language : | français |
| Title statement : | Introduction à la logique : théorie de la démonstration : cours et exercices corrigés / René David,... Karim Nour,... Christophe Raffalli,...; préfacé par Pierre-Louis Curien,... |
| Edition : | 2e édition |
| Published : |
Paris :
Dunod
, DL 2004 |
| Physical Description : | 1 vol. (XIII-352 p.) |
| Series : | Sciences sup |
| Subjects : |
BU Sciences
| Location | Call Number | Number | Loan type | Status |
|---|---|---|---|---|
| Rez-de-chaussée, salle 2 | 511.3 DAV | 2004 | Empruntable | Available |