Mathematical Logic - Li, Wei (Birkhäuser Basel, 2010)