Harel, David . <br/><br/>
Dynamic logic /   Textual Documents 
David Harel. 
 - New Delhi :   Prentice Hall of India ,   2002. 
 - NULL ;   NULL. 
<br/><br/><label>Subjects--Index Terms: </label>Mathamatical logic 
<br/><br/><label>Dewey Class. No.: </label>511.3  / HAR