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