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