000 00434 a2200169 4500
020 _a9789400734357
035 _a
082 _a511.3
090 _c29843
_d29843
100 _aBrauner,Torben
546 _aeng
245 _aHybrid logic and its proof-theory
_cTorben Brauner
260 _aDordrecht:
_bSpringer,
_c2010
300 _axiii, 231 p.
_c23 cm
500 _aContine Bibliografie si Index
942 _aIMAR
_cCART
_sEP
_k511.3
999 _c29545
_d29545