Labelled deduction
Edición de la obra Labelled deduction
| Autor | David Basin, Various |
|---|---|
| Editorial | Kluwer Academic Publishers |
| Fecha de publicación | 2000 |
| Lugar | Dordrecht, Boston |
| Idioma | inglés |
| Páginas | 266 |
| ISBN-10 | 0792362373 |
| OCLC | 43706716 |
| LCCN | 00028202 |
| Serie | Applied logic series -- v. 17. |
| Número de Cutter |