Lógica elemental - Negrete Naranjo, Juan Manuel (Limusa, 1997)
Los símbolos lógicos -- La axiomática -- Las reglas de formación -- Las reglas de transformación.