Lógica axiomática. - González Carloman, Antonio (Oviedo : A. gonzález carloman, 1975)
Lenguaje y lógica simbólica
Lógica de conectores, propiedades
Lógica de cuantificación
Lógica de la identidad
Completitud y correción del sistema formal
Silogística.
Keywords: LOGICA AXIOMATICA