DictionaryForumContacts

   English Russian +
Google | Forvo | +

formal system of axioms and inference rules

stresses
progr. формальная система аксиом и правил вывода (ssn)