Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
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 fondamental...
Gorde:
| Egile Nagusiak: | , , |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Français |
| Argitaratua: |
Malakoff :
Dunod
2025.
Paris : Cyberlibris |
| Gaiak: | |
| Sarrera elektronikoa: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Oharra: |
Couverture. https://static2.cyberlibris.com/books_upload/300pix/9782100890422.jpg Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Introduction à la logique, Théorie de la démonstration, René David, Karim Nour, Christophe Raffalli, 3e édition, 2025, Malakoff, Dunod, 1 volume (XI-381 pages), Sciences sup, 978-2-10-084060-1 |