Proof Theory for General Unification
Edición de la obra A proof theory for general unification
| Autor | W. Snyder, Wayne Snyder |
|---|---|
| Editorial | Birkhäuser Boston |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9781461267584 |
| Número de Cutter | S675p |
Edición de la obra A proof theory for general unification
| Autor | W. Snyder, Wayne Snyder |
|---|---|
| Editorial | Birkhäuser Boston |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9781461267584 |
| Número de Cutter | S675p |