First-Order Modal Logic - heftet, Engelsk, 1999