DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

many-sorted propositional calculus

contraintes
logiq. многосортное пропозициональное исчисление (Alex_Odeychuk)