DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

formula of first-order logic

contraintes
logiq. формула логики первого порядка (Alex_Odeychuk)