"Mathematical Problems from Applied Logic II: Logics for the XXIst Century" - читать интересную книгу автора (Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev)