Join Books.org — it's free

First-Order Dynamic Logic by David Harel — book cover

Mathematics, General

First-Order Dynamic Logic

by David Harel

Write a review

Log in to track your reading progress.

This is the only edition we have for First-Order Dynamic Logic.

Discover your
next great read.

Save books to your reading lists
Write reviews and rate books
Connect with other readers

Sign up free

Already a member?
Log in