| 000 | 00826cam a2200253 a 4500 | ||
|---|---|---|---|
| 005 | 20170517154843.0 | ||
| 008 | 890517s1989 gw a b 100 0 eng | ||
| 020 | _a0387512373 | ||
| 040 | _cDLC | ||
| 041 | _aeng | ||
| 082 | 0 | 0 |
_a001.64 _bL497 |
| 111 | 2 | _aSymposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR) | |
| 245 | 1 | 0 |
_aLogic at Botik '89 : proceedings _cedied by A.R. Meyer and M.A. Taitslin |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _cc1989. |
||
| 300 | _ax, 289 p. : | ||
| 440 | 0 | _aLecture notes in computer science ; | |
| 440 | 0 | _a363 | |
| 650 | 0 | _aComputers | |
| 650 | 0 |
_aElectronic data processing _xCongresses. |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _xCongresses |
|
| 700 | 1 | _aMeyer, Albert R., ed. | |
| 700 | 1 | _aTaitslin, M. A., ed. | |
| 942 | _cBK | ||
| 999 |
_c510349 _d510349 |
||