Model Theory and Applications - Mangani, P.; Centro internazionale matematico estivo (Springer Berlin Heidelberg, 2011)