Prida J F. El problema de decisión del cálculo de predicados. Bol. Cent. Calc. Univ. Complut. [Internet]. 11 de septiembre de 2015 [citado 23 de noviembre de 2024];(26):1-28.