Mathematical Logic and Model theory: a Brief Introduction. - Springer Verlag, 2011. - ( Universitext ).