First-Order Modal Logic - häftad, Engelska, 1999