Terms containing elimination theorem

Subject	English	Russian
math.	cut elimination theorem	теорема об элиминации сечений
math.	elimination theorem	элиминационная теорема
math.	quantifiers elimination theorem	теорема об элиминации кванторов