"Hybrid Logic and its Proof-Theory (Applied Logic Series, 37)" - читать интересную книгу автора (Torben Brauner)