DictionaryForumContacts

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