СловариФорумКупитьСкачатьКонтакты

   Английский Русский +
Google | Forvo | +

formal system of axioms and inference rules

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