Dynamic Logic
Dynamic Logic
Jerzy Tiuryn
,
David Harel
,
Dexter Kozen
3.7
(3)
on Goodreads
Details
OL Work ID
OL21419559W
Subjects
Logic, symbolic and mathematical
Find this book
Goodreads
Open Library