DictionnaireLe forumContacts

   Russe Anglais
Google | Forvo | +
многосортная логика первого порядкаcontraintes
logiq. many-sorted first-order logic (Alex_Odeychuk)