Epistemic Logic for AI and Computer Science
-
pocket
,
Engelsk, 2004