TY - BOOK AU - Bridge Jane TI - Beginning model theory : The completeness theorem and some consequences. T2 - Oxford logic guides U1 - R14, L7 PY - 1977/// CY - Oxford PB - Clarendon Press ER -