Herbrand Sequent Extraction
Edición de la obra Herbrand Sequent Extraction
| Autor | Bruno Woltzenlogel Paleo |
|---|---|
| Editorial | VDM Verlag Dr. Mueller E.K., VDM Verlag Dr. Mueller e.K. |
| Fecha de publicación | Feb 07, 2008 |
| Páginas | 92 |
| Formato | paperback |
| ISBN-13 | 9783836461528 |
| ISBN-10 | 3836461528 |
| Número de Cutter | P156h |