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