DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

predicate calculus without identity

contraintes
math. исчисление предикатов без равенства
techn. исчисление предикатов без единицы