This VIAF Cluster has been deleted. It is no longer part of VIAF.
Harel, David, 1950-. | First-order dynamic logic
VIAF ID: 314556697 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314556697
Preferred Forms
Selected Titles
Author
:
Harel, David,