A Concise Introduction to Mathematical Logic - Rautenberg, Wolfgang; SpringerLink (Online service) (New York, NY : Springer New York, 2010)
Keywords: Mathematics; Computer science; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Computational Science and Engineering