Lógica modal proposicional : tecnicas de deducción natural para los sistemas T, SB, B y S5

Negrete, Juan

Lógica modal proposicional : tecnicas de deducción natural para los sistemas T, SB, B y S5 - 34 p.


Logica Modal