A concise introduction to mathematical logic - Rautenberg, Wolfgang 1936-2011 (Springer, 2010)