Introduction to Model Theory (Algebra, Logic & Applications)