1 - Beginning model theory : the completeness theorem and some consequencesBridge, JaneCote : [02 BRI 77]