Volver a los detalles del artículo
Pares filtro de Horn y interpolación de Craig en Lógica Proposional
Descargar
Descargar PDF