págs. 7-18
págs. 19-36
págs. 37-70
Lógica modal proposicional. Técnicas de deducción natural para los sistemas T, SB, B y S5
Juan Negrete
págs. 41-110
págs. 111-126
Julio Secane Pinilla
págs. 127-146
pág. 147
© 2001-2025 Fundación Dialnet · Todos los derechos reservados