DictionaryForumContacts

   Russian
Google | Forvo | +
дедуктивное исчисление предикатовstresses
math. deductive predicate calculus