Volver a los detalles del artículo
Consistencia, validez y completitud de un sistema proposicional de lógica temporal
Descargar
Descargar PDF