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