A concise introduction to mathematical logic - Rautenberg, Wolfgang; SpringerLink (Online service) (New York, NY : Springer Science+Business Media, LLC, 2010)
Keywords: Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Computational Science and Engineering