Machine generated authority record

Work cat.: (OSt)168201: Negrete, Juan, Lógica Modal Proposicional : Tecnicas de Deducción Natural para los Sistemas T, SB, B y S5