Aliseda, A. José Alfredo Amor Montaño, Compacidad En La lógica De Primer Orden Y Su relación Con El Teorema De Completud. CRHF 2018, 31, 117-124.