| 000 | 00615cam a2200229ua 4500 | ||
|---|---|---|---|
| 001 | 2088 | ||
| 005 | 20220105002149.0 | ||
| 007 | ta | ||
| 008 | 080723s2002 g b000 u eng u | ||
| 041 | 1 |
_aeng _hNULL |
|
| 082 | 1 | 4 |
_a511.3 _bHAR |
| 100 | 1 | _a Harel, David . | |
| 245 | 1 | 0 |
_aDynamic logic / _cDavid Harel. _hTextual Documents |
| 260 |
_aNew Delhi : _bPrentice Hall of India , _c2002. |
||
| 300 |
_aNULL ; _cNULL. |
||
| 653 | 0 | _aMathamatical logic | |
| 700 | 1 | _aKozen, Dexter . | |
| 700 | 1 | _aTiuryn, Jerzy . | |
| 942 | _cBK | ||
| 999 |
_c299722 _d299722 |
||