A course in mathematical logic for mathematicians - Manin, Yu. I.; SpringerLink (Online service) (New York, NY : Springer-Verlag New York, 2010)
Keywords: Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Logic