A course in model theory : an introduction to contemporary mathematical logic - Poizat, Bruno (New York : Springer, 2000)
Keywords: TEORIA DE MODELOS; LOGICA, SIMBOLICA Y MATEMATICA; MODELOS MATEMATICOS; SIMULACION (MATEMATICAS); ARITMETICA