TY - BOOK AU - Bridge,Jane ED - Clarendon Press TI - Beginning model theory: the completeness theorem and some consequences T2 - Oxford logic guides SN - 0198531575 U1 - 511.8 23 PY - 1977///. CY - Oxford: PB - Clarendon Press, KW - Model theory KW - Completeness theorem N1 - Includes index and bibliography: (p.[138]-140) ER -