|
|
|
|
| LEADER |
00607nam a2200193Ia 4500 |
| 001 |
157810 |
| 008 |
170722s9999 xx 000 0 und d |
| 020 |
|
|
|a 8120331716
|
| 100 |
|
|
|a Harel, David
|
| 245 |
|
|
|a Dynamic logic /
|
| 260 |
|
|
|a New Delhi :
|b Prentice Hall of India ,
|c 2000.
|
| 300 |
|
|
|a xv+459
|
| 653 |
|
|
|a Engineering, Logic
|
| 700 |
|
|
|a Kozen , Dexter
|
| 700 |
|
|
|a Tiuryn, Jerzy
|
| 923 |
|
|
|d 20080829
|n MBC-1278/0
|
| 942 |
|
|
|c GEN
|
| 999 |
|
|
|c 137512
|d 137512
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D_65133R1_P0
|7 0
|9 194244
|a LIB
|b LIB
|d 2013-03-25
|e Modern Book Centre
|o D6513:3:(R1) P0
|p 268408
|r 2017-08-12
|v 295.00
|w 2017-08-12
|y GEN
|