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