Harel (David) Kozen (Dexter) gerzy  Tiuryn <br/><br/>
Dynamic Logic  

 - 1st 
 - New Delhi   PHI  
 - xv 459 p 
<br/><br/><label>Dewey Class. No.: </label>005115HAR