A. Aliseda, “José Alfredo Amor Montaño, Compacidad en la lógica de primer orden y su relación con el teorema de completud”, CRHF, vol. 31, no. 93, pp. 117–124, Dec. 2018.