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