Introduction to mathematical logic - Mendelson, Elliott 1931-2020 (Princeton, N.J. : Van Nostrand, 1964)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA