Terms containing second order logic

Subject	English	Spanish
IT	second order logic	lógica de predicados de segundo orden
IT	second order logic	lógica de segundo orden
IT	second order logic	cálculo de predicados de segundo orden
IT	second-order predicate logic	cálculo de predicados de segundo orden
IT	second-order predicate logic	lógica de predicados de segundo orden
IT	second-order predicate logic	lógica de segundo orden