TY  - BOOK
AU  - Brauner Torben
TI  - Hybrid logic and its proof-theory
SN  - 978-94-007-0001-7
U1  - 511.3 
PY  - 2011///
CY  - London
PB  - Springer-Verlag
KW  - Mathematical logic
KW  - Proof theory
KW  - Symbolic logic
ER  -