Tomeki

Explore Books on
analyse programme

1-1 of 1 Books

View First-Order Dynamic Logic By D. Harel
Cover of First-Order Dynamic Logic by d. harel

First-Order Dynamic Logic

By D. Harel