Исследования по неклассическим логикам и формальным системам (Наука, 1983)