Subject	English	Spanish
IT	first-order predicate calculus	lógica de predicados
IT	first-order predicate calculus	cálculo de predicados
IT	predicate calculus	lógica de predicados
IT	predicate calculus	cálculo de predicados
IT	predicate calculus language	lenguaje no procedural
IT	second-order predicate calculus	lógica de predicados de segundo orden
IT	second-order predicate calculus	cálculo de predicados de segundo orden
IT	second-order predicate calculus	lógica de segundo orden