ББК: В12.
Исследования по формализованным языкам и неклассическим логикам-Москва.: Наука, 1974.-275 с.