DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

predicate calculus with generalization

contraintes
math. исчисление предикатов с обобщением