TY  - BOOK
AU  - Harel, David
AU  - Kozen, Dexter
TI  - Dynamic logic
SN  - 9788120331716 (alk. hc)
U1  - 004.0151113 HAR 
PY  - 2007///
CY  - New Delhi
PB  - Prentice-Hall of India Pvt. Ltd
KW  - Computer logic
ER  -