СловариФорумКупитьСкачатьКонтакты

   Английский Русский +
Google | Forvo | +

many-sorted propositional calculus

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