TY  - BOOK
AU  - HAREL AND ETC
ED  - NO
TI  - DYNAMIC LOGIC
SN  - 9788120331716
U1  - 519.7 HAR 
PY  - 2007///
PB  - PHI
ER  -