Beginning model theory : the completeness theorem and some consequences - Bridge, Jane (Oxford : Clarendon Pr., 1977)