"Исследования по формализованным языкам и неклассическим логикам" - читать интересную книгу автора (Бочвар Д.А. (ред.))