Introduction to mathematical logic : set theory, computable functions, model theory - Malitz, Jerome (New York, New York : Springer, 1979)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA