Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi: Dynamic Epistemic Logic bei ebook.de. Online bestellen oder in der Filiale abholen.