A concise introduction to mathematical logic - Rautenberg, Wolfgang 1936-2011 (New York : Springer, 2010)
También en formato EPUB
Keywords: LÓGICA, SIMBÓLICA Y MATEMÁTICA; PROGRAMACIÓN LÓGICA