DictionaryForumContacts

   Russian German
Google | Forvo | +
обобщённая теоретико-высказывательная теорема о дедукцииstresses
math. verallgemeinertes aussagenlogisches Deduktionstheorem