Nonlinear Dynamics, Psychology, and Life Sciences, Vol. 6, Iss. 1, Jan, 2002, pp. 77-79
@2002 Society for Chaos Theory in Psychology & Life Sciences

BOOK REVIEW: Dynamic Logic. By D. Harel, D. Kozen, and J. Tiuren.

Robert A. M. Gregson, Australian National University, Canberra, ACT Australia

Abstract: