Hostname: page-component-7b9c58cd5d-nzzs5 Total loading time: 0 Render date: 2025-03-15T20:12:21.874Z Has data issue: false hasContentIssue false

Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

Published online by Cambridge University Press:  23 April 2002

YDE VENEMA
Affiliation:
ILLC, University of Amsterdam, The Netherlands
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book review
Copyright
© 2002 Cambridge University Press