Introduction to Model Theory (Algebra, Logic and Applications Volume 15)