A Course on Mathematical Logic - Srivastava, S. M.; SpringerLink (Online service) (New York, NY : Springer Science+Business Media, LLC, 2008)
Keywords: Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations