Lógica matemática.Notas de clase - Virgilio Obeso Fernández
Preliminares.-Formulas bien formadas.-Cálculo proposicional.- Cálculo de predicados.