Skip to main content
Search results

Foundations of Computing Dynamic Logic (Paperback)