págs. 4-12
págs. 13-28
págs. 29-34
págs. 35-41
págs. 42-50
págs. 51-62
págs. 63-66
págs. 67-77
págs. 78-84
págs. 85-88
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza Muñiz, Inmaculada Pérez de Guzmán Molina, Emilio José Muñoz Velasco
págs. 89-102
págs. 103-112
© 2001-2024 Fundación Dialnet · Todos los derechos reservados