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 . . .

To continue reading this article, subscribe to receive access to all of newscientist.com, including 20 years of archive content.

To continue reading this article, log in or subscribe to New Scientist

App + web

Web

Smartphone

Tablet

$25.99 - Save 65%

12 issues for $2.17 per issue

with continuous service

Print + web

Print

Web

$28.99 - Save 61%

12 issues for $2.42 per issue

with continuous service

Print + app + web

Print

Web

Smartphone

Tablet

$39.99 - Save 73%

12 issues for $3.33 per issue

with continuous service

Web

Web only

$49.99

30 day web pass

Prices may vary according to delivery country and associated local taxes.