TY  - BOOK
AU  -  Harel,David .
AU  - Kozen,Dexter  .
AU  - Tiuryn,Jerzy  .
TI  - Dynamic logic / 
U1  - 511.3 
PY  - 2002///
CY  - New Delhi : 
PB  - Prentice Hall of India , 
KW  - Mathamatical logic
ER  -