Produkt mají v nabídce:
Epistemic Logic for AI and Computer Science - Meyer, J.-J. Ch. (Universiteit Utrecht, The Netherlands) a Hoek, W. van der (Universiteit Utrecht, The Netherlands)
This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.