Computation and Proof Theory
Edición de la obra Computation and Proof Theory
| Autor | M. M. Richter |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 1985 |
| Idioma | inglés |
| Páginas | 475 |
| Formato | Paperback |
| ISBN-13 | 9780387139012 |
| ISBN-10 | 038713901X |
| Número de Cutter | R536c |