DictionaryForumContacts

   English +
Google | Forvo | +

second-order predicate calculus

IT toisen kertaluvun predikaattilogiikka; toisen kertaluvun logiikka; toisen kertaluvun predikaattilaskenta