TY  - BOOK
AU  - DAVID HAREL; DEXTER KOZEN; JERZY TIURYN
TI  - DYNAMIC LOGIC
SN  - 9788120331716
U1  - 519.703 HAR 
PB  - PRENTICE HALL OF INDIA PRIVATE LIMITED
KW  - MATHEMATICS
ER  -