Harel,D. <br/><br/>
Dynamic Logic   

 - 1st /   2007. 
 - Delhi:  Prentice Hall of India Pvt.Ltd.  2007. 
 - 459p.:  24cm. 
<br/><br/><label>Subjects--Personal Names: </label><br/>Philosophy, Dynamic Logic. 
<br/><br/><label>Dewey Class. No.: </label>164