Harel (David) Kozen (Dexter) gerzy Tiuryn Dynamic Logic - 1st - New Delhi PHI - xv 459 p Dewey Class. No.: 005115HAR