Aspects of Mathematical Logic - Casari, E. (Springer Berlin Heidelberg, 2011)