SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

predicate calculus with identity

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