DictionaryForumContacts

   Russian
Google | Forvo | +
исчисление предикатов первого порядкаstresses
comp. calcul logique du premier échelon; calcul des prédicats du premier ordre