APA Style
HAREL, D.
(2007).
DYNAMIC LOGIC
(
1)
.
NewDelhi:
Prentice Hall.
MLA Style
HAREL, DAVID.
"DYNAMIC LOGIC".
1
NewDelhi:
Prentice Hall,
2007.
BOOK.