Lógica Proposicional. Sintaxis
Lógica Proposicional. Semántica
Un cálculo de Deducción Natural
LPO. Sintaxis
LPO. Semántica
LPO. Traducción