TY  - BOOK
AU  - Harel,David
AU  - Kozen,Dexter  .
AU  - Tiuryn,Jerzy  .
TI  - Dynamic logic / 
SN  - 9788120331716
U1  - 004.015113 
PY  - 2007///
CY  - New Delhi : 
PB  - Prentice Hall of India , 
KW  - COMPUTER LOGIC
N1  - Includes bibliographical references and index
ER  -