TY - BOOK AU - Bridge Jane TI - Beginning model theory : the completeness theorem and some consequences U1 - 511.3 PY - 1977/// CY - Oxford PB - Calrendon Press KW - Mathematical logic KW - Mathematical models ER -