Mathematical Logic and Model Theory: A Brief