The mathematics of logic : a guide to completeness theorems and their applications - Kaye, Richard (Cambridge : Cambridge University Press, 2007)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA -- PROBLEMAS, EJERCICIOS, ETC