Volver a los detalles del artículo Una caracterización estructural de la correctud-completud extendida en la lógica clásic Descargar Descargar PDF