Terms containing predicate logic

Subject	English	Finnish
IT	clause form of predicate logic	predikaattilogiikan lausemuoto
IT	first-order predicate logic	predikaattilogiikka
IT	first-order predicate logic	predikaattilaskenta
IT	predicate logic	predikaattilaskenta
IT	predicate logic	predikaattilogiikka
IT	second-order predicate logic	toisen kertaluvun logiikka
IT	second-order predicate logic	toisen kertaluvun predikaattilaskenta
IT	second-order predicate logic	toisen kertaluvun predikaattilogiikka