СловникиФорумКонтакти

   Англійська Російська +
Google | Forvo | +

predicate calculus with identity

наголоси
мат. исчисление предикатов с равенством
тех. исчисление предикатов единицей