"Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (AUP - Texts in Logic and Games)" - читать интересную книгу автора (Johan van Benthem, Benedikt Lowe, Dov M. Gabbay)