Concise introduction to mathematical logic. - Rautenberg Wolfgang (New York Springer, 2010)
Keywords: Mathematics