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