DictionaryForumContacts

   English Russian +
Google | Forvo | +

cut elimination theorem

stresses
math. теорема об элиминации сечений