Concise introduction to mathematical logic - Rautenberg Wolfgang (New York Springer-Verlag, 2006)
Keywords: Mathematical logic