DictionaryForumContacts

   English Russian
Google | Forvo | +
formal system of axioms and inference rulesstresses
progr. формальная система аксиом и правил вывода (ssn)