DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

predicate calculus with identity

contraintes
math. исчисление предикатов с равенством
techn. исчисление предикатов единицей