A Concise Introduction to Mathematical Logic - Rautenberg, Wolfgang; SpringerLink (Online service) (New York, NY : Springer Science+Business Media, Inc., 2006)
Keywords: Logic, Symbolic and mathematical