TY  - BOOK
AU  - Brauner, Torben
TI  - Hybrid logic and its proof-theory
SN  - 9789400700017
U1  - 160 
PY  - 2011///
CY  - Berlin
PB  - Springer
KW  - Science of reasoning
ER  -