Applied Proof Theory
Proof Interpretations and Their Use in Mathematics
Edición de la obra Applied Proof Theory
| Autor | Ulrich Kohlenbach |
|---|---|
| Editorial | Springer Berlin / Heidelberg |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| ISBN-13 | 9783642096273 |
| Número de Cutter | K79a |