Introduction a la Theorie de la Demonstration
Elimination des Coupures, Normalisation et Preuves de Coherence
Edición de la obra Introduction a la Theorie de la Demonstration
Elimination des Coupures, Normalisation et Preuves de Coherence
Edición de la obra Introduction a la Theorie de la Demonstration
| Editorial | Vrin, Librairie Philosophique J. |
|---|
| Fecha de publicación | 2022 |
|---|
| Idioma | francés |
|---|
| ISBN-13 | 9782711630912 |
|---|
| Número de Cutter | G182i |
|---|