Completeness, compactness, and undercidability : an introduction to mathematical logic - Manaster, Alfred B. (Englewood Cliffs, N.J. : Prentice Hall, 1975)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA