SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

many-sorted propositional calculus

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