Английский ⇄ Греческий Датский Испанский Итальянский Немецкий Нидерландский Португальский Финский Французский Шведский +

second-order predicate logic
ИТ.	toisen kertaluvun predikaattilogiikka; toisen kertaluvun logiikka; toisen kertaluvun predikaattilaskenta