Rudimientos de logica matemática - Peña, Lorenzo (Madird : Consejo Superior de Investigaciones Cientificas, 1991)
Símbolos básicos del sistema, y lecturas de los mismos
Esquemas aximaticos y reglas de inferencia
Desarrollo del sistema
Derivación de reglas de inferencia
Calculo cuantificacional
Teoria de cumulos
Keywords: Logica Matemática; Esquemas Aximaticos