DictionaryForumContacts

   Russian
Google | Forvo | +
узкое исчисление предикатовstresses
math. calcul logique du premier ordre; calcul des prédicats restreint