| 000 | 00434nam a2200169 4500 | ||
|---|---|---|---|
| 999 |
_c7262 _d7262 |
||
| 008 | 160616s 000 0 | ||
| 020 | _a3540156488 | ||
| 041 | _aEng | ||
| 080 |
_a681 _b LNCS |
||
| 100 | _aParikh, Rohit Ed., | ||
| 245 | _aLogics of programs | ||
| 260 |
_aBerlin _bSpriger Verlag _c1985 |
||
| 260 | _bSpringer-Verlag | ||
| 440 | _aLecture notes in computer science ; 00193 | ||
| 690 | _aComputer Science | ||
| 942 | _cBK | ||