Aspects of Mathematical Logic - C.I.M.E. Summer School; Casari, Ettore; Centro internazionale matematico estivo (Springer Berlin Heidelberg, 2011)