>>13988358If Model Theory: An Introduction is the one I think it is, that is: the one that delves deep into some of Hrushovski's work, it's not all that great. It assumes a logical basis, but the problem is notation varies so much between first courses in logic. I personally recommend the parts of Sider's Philosophy for Logic that deal with basic propositional logic and predicate logic. That gives a much better introduction to logic and gives a good basis on which to look at any notational structure. Then I would argue the lecture notes Hrushovski supplies alongside his current part C lecture course (combined with his problem sheets) are far more informative. They do rely on Pila's Part B logic course to a certain extent, but only notationally.
