First-order dynamic logic

Name: First-order dynamic logic
Author: David Harel

by David Harel · 1 review · 1982

Reviewed by	Journal	Date	Access
Jerzy Tiuryn	The Journal of Symbolic Logic	1982	Restricted

Also by Harel