TY  - BOOK
AU  - Harel,D.
TI  - Dynamic Logic
U1  - 164 
PY  - 2007///
CY  - Delhi
PB  - Prentice Hall of India Pvt.Ltd.
KW  - Philosophy,
ER  -