A concise introduction to mathematical logic - Rautenberg, Wolfgang (Springer, 2006)