Terms for subject Information technology containing second order logic

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 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