TY  - BOOK
AU  - "Harel,David et al."
TI  - Dynamic Logic
SN  - 978-81-203-3171-6
PY  - 2007///
CY  - New Delhi
PB  - "PHI,.New "
KW  - Logic
KW  - Mathematics
N1  - YES
ER  -