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