Доказательство разрешимости некоторых логических систем с реальным временемдипломная работа (Специалист)