DictionaryForumContacts

   Russian English
Google | Forvo | +
многосортное пропозициональное исчислениеstresses
logic many-sorted propositional calculus (Alex_Odeychuk)