Бочвар Д.А. в редколлегии сборника Исследования по формализованным языкам и неклассическим логикам (1974 год, Москва)членство в редколлегии сборника