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