Vista de Consistencia, validez y completitud de un sistema proposicional de lógica temporal | Boletín de Matemáticas

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