Volver a los detalles del artículo José Alfredo Amor Montaño, Compacidad en la lógica de primer orden y su relación con el teorema de completud Descargar Descargar PDF