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
Lógica modal proposicional : tecnicas de deducción natural para los sistemas T, SB, B y S5 - 34 p.
Logica Modal