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