DAVID HAREL; DEXTER KOZEN; JERZY TIURYN <br/><br/>
DYNAMIC LOGIC 
DAVID HAREL, DEXTER KOZEN AND JERZY TIURYN 
 - 
 -  PRENTICE HALL OF INDIA PRIVATE LIMITED  2007 
 - xv, 459 p. 
<br/><br/><label>ISBN: </label>9788120331716 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MATHEMATICS
<br/><br/><label>Dewey Class. No.: </label>519.703 HAR  / DAV