"Logic, Language, Information, and Computation - WoLLIC 2011" - читать интересную книгу автора (Lev D. Beklemishev, Ruy de Queiroz)