Gaya APA
Gabbay, D, M.
(2013).
Reactive kripke semantics
.
Heidelberg:
Springer Berlin.
Gaya MLA
Gabbay, Dov, M..
"Reactive kripke semantics".
Heidelberg:
Springer Berlin,
2013.
Electronic Resource.