First-order dynamic logic
First-order dynamic logic
1979
David Harel
Details
First published
1979
OL Work ID
OL1874324W
Subjects
Computer programming
Logic, Symbolic and mathematical
Recursion theory
Symbolic and mathematical Logic
Find this book
Open Library