TY  - BOOK
AU  - Ditmarsch, Hans Van
AU  - Hoek, Wiebe Van der
AU  - Kooi, Barteld
TI  - Dynamic epistemic logic
SN  - 9781402058387
CY  - Netherlands
ER  -