Concise introduction to mathematical logic.-2nd ed. - Rautenberg , Wolfgang (Springer, 2006)