"Harel,David et al." <br/><br/>
Dynamic Logic 

 - 1st 
 - New Delhi  "PHI,.New "  2007 
<br/><br/> YES 
<br/><br/><label>ISBN: </label>978-81-203-3171-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Mathematics 
<br/><br/><label>Dewey Class. No.: </label>