Beginning Model Theory: The Completeness Theorem and some Consequences - Bridge, Jane (oxford Clarendon Press, 1977)