Terms for subject Information technology containing second order

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