000 00354n a2200157 a 4500
000 B B
001 026372
005 20220202122847.0
082 _a160
_bP7 CSC
100 _aHarel, David
245 _aDynamic Logic
260 _aNew Delhi
_bPrentice-Hall
_c2007
300 _axxii,562p.
690 _aLogic,Computer Science
908 _aT
999 _c26351
_d26351