Beginning model theory : the completeness theorem and some consequences - Bridge, Jane (Oxford logic guides, 1977)