The resolution calculus
- Författare
- Alexander Leitsch
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | viii, 300 sidor. : ill. | 3-540-61882-1 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | viii, 300 sidor. : ill. | 3-540-61882-1 |