Student books : Deep thought

Alternatively, you could try Reasoning About Knowledge by Ronald Fagin,
Joseph Halpern, Yoram Moses and Moshe Vardi (MIT Press, £38.50/$45,
ISBN 0 262 06162 7). It treats some classes of system with a terrifying rigour.
The examples deal with muddy children and Byzantine computer bugs: you will need
an excellent teacher to navigate the forest of notation; and if you are the
teacher, start reading now . . .