TY - BOOK AU - Bridge, Jane TI - Beginning model theory: the completeness theorem and some consequences SN - 0 19 853157 5 U1 - 511.3 PY - 1977/// CY - Oxford PB - Clarendon Press KW - Model theory KW - Mathematical logic ER -