Introduction to mathematical logic - Mendelson, Elliott 1931-2020 (London, Sydney : Chapman and Hall, 1997)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA