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