PSpace-полнота логик хронологического будущего пространства Минковскогодипломная работа (Специалист)