Beginning model theory The completeness theorem and some consequences - Bridge, Jane (Clarendon Pr., 1978)