Concise introduction to mathematical logic(a) - Rautenberg, Wolfgang (New York Springer, 2010)
Keywords: MATHEMATICAL LOGIC