Lógica Proposicional. Sintaxis

Lógica Proposicional. Semántica

Un cálculo de Deducción Natural

LPO. Sintaxis

LPO. Semántica

LPO. Traducción