Теорема об устранимости сечения для секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ее параполным напарникомдипломная работа (Специалист)