| Original language | English |
|---|
| Publisher | Springer Science+Business Media |
|---|---|
| Number of pages | 231 |
| ISBN (Print) | 978-94-007-0001-7 |
| Publication status | Published - 2011 |
| Series | Applied Logic Series |
|---|---|
| Volume | 37 |
| ISSN | 1386-2790 |
Hybrid Logic and its Proof-Theory
Research output: Book/Report › Book › Research › peer-review