Beginning model theory the completeness theorem and some consequences - Bridge, Jane (Clarendon Press Oxford, 1977)
Keywords: Model theory; Mathematical logic