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 |