TY  - BOOK
AU  - Hazel, Davide 
TI  - Dynamic logic
SN  - 81-203-2239-8
U1  - 515.352 
PY  - 2006///
CY  - Vidhyanagar
PB  - PHI
ER  -