Volver a los detalles del artículo The completeness and compactness of a three-valued first-order logic Descargar Descargar PDF