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