Methods of Cut-Elimination
Edición de la obra Methods of Cut-Elimination
| Autor | Matthias Baaz, Alexander Leitsch |
|---|---|
| Editorial | Springer, Matthias Baaz |
| Fecha de publicación | Feb 24, 2013 |
| Páginas | 296 |
| Formato | paperback |
| ISBN-13 | 9789400734975 |
| ISBN-10 | 9400734972 |
| Número de Cutter | B111m |