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, n.º 93, pp. 117–124, dic. 2018.