A course in mathematical logic for mathematicians - Manin, Jurij Ivanovič, 1937- (Springer, 2010)