SłownikiForumKontakt

   Angielski +
Google | Forvo | +

second-order predicate logic

technol. toisen kertaluvun predikaattilogiikka; toisen kertaluvun logiikka; toisen kertaluvun predikaattilaskenta