Introduction à la théorie de la démonstration
Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
Caractéristiques techniques
| Auteur | Sergio GalvanPaolo MancosuRichard Zach |
| Traduction | Yacine AggouneDavid AppadouraiAgathe RollandDavid Waszek |
| Editeur | Vrin |
| Date de parution | 13.12.2022 |
| Collection | Mathesis |
| EAN | 9782711630912 |
| Format | 13cm x 21cm |
| ISBN | 2711630919 |
| Illustration | Pas d'illustrations |
| Nombre de pages | 588 |
| Format | 14 x 22 x 0,3 cm |
| SKU | 14941562 |
| EAN | 978-2711630912 |