Mathematical Logic - Li (Springer Basel, 2014)