| 000 | 00941cam a2200241 a 4500 | ||
|---|---|---|---|
| 005 | 20170120125724.0 | ||
| 008 | 890824s1989 gw a b 000 0 eng | ||
| 040 | _cDLC | ||
| 041 | _aeng | ||
| 082 | 0 | 0 |
_a001.64 _bL497 v.385 |
| 111 | 2 |
_aWorkshop on Computer Science Logic _n(2nd _d1988 _cDuisburg, Germany) |
|
| 245 | 1 | 0 |
_aLecture notes in computer science CSL '88 _b2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings _cE. Börger, H. Kleine Büning, M.M. Richter (eds.) |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1989 |
||
| 300 | _avi, 399 p. | ||
| 440 | 0 | _aLecture notes in computer science ; | |
| 650 | 0 |
_aComputer science _xMathematics _xCongresses. |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _xCongresses. |
|
| 700 | 1 | _aBörger, E. | |
| 700 | 2 | _aKleine Büning, H. | |
| 700 | 1 | _aRichter, Michael M., | |
| 856 | _uhttp://link.springer.com/book/10.1007/BFb0026291 | ||
| 942 | _cBK | ||
| 999 |
_c532360 _d532360 |
||