TY  - GEN
AU  - Brauner,Torben
TI  - Hybrid logic and its proof-theory
SN  - 9789400734357
U1  - 511.3 
PY  - 2010///
CY  - Dordrecht
PB  - Springer
N1  - Contine Bibliografie si Index
ER  -