First-Order Modal Logic - e-bok, Engelska, 2012