págs. 1-2
Consistencia, validez y completitud de un sistema proposicional de lógica temporal
José M. Muñoz Quevedo
págs. 3-21
págs. 22-36
págs. 37-51
págs. 52-63
págs. 64-68
Karl F. Gauss, Fabio Hernando Ortiz
págs. 69-79
© 2008-2024 Fundación Dialnet · Todos los derechos reservados